Add formal verification tests using Certora#7

Draft

Git-on-my-level wants to merge 5 commits intomainfrom

Commits on Mar 19, 2025

Github syntax highlighting
Git-on-my-level
committed

Commits on Mar 25, 2025

WIP getting first CVL test running, bad syntax
Git-on-my-level
committed
Get first CVL file with correct syntax, but failing tests
Git-on-my-level
committed
Disable some tests to fix later and transition to trying Grok
Git-on-my-level
committed

Commits on Mar 26, 2025

Have a fully passing but not super useful spec file for Issuer
Git-on-my-level
committed