Certora's formal verification code

[wilsoncusack]

Thanks so much for this @RedLikeRosesss! Could you add a README to this folder as to how to run those code