Add Feb 2024 Certora audit report #40

Closed stevieraykatz closed 3 months ago