[Certora] Dev

[QGarchery]

See

• Formal verification wish list #390

This PR contains:

• first few commits implementing the base of the verification
• [Certora] Only enabled lltv/irm #290
• [Certora] Added borrow less supply invariant #294
• [Certora] Add CI #298
• [Certora] Liquidity #304
• [Certora] Update CI #315
• [Certora] Exit liquidity #316
• [Certora] Reentrancy specification. #325
• [Certora] Dispatch tokens and verify safe transfer lib #321
• [Certora] Move CI to certora-cli-beta #339
• [Certora] Check supply followed by withdraw is not profitable #345
• [Certora] Specification for stayHealthy #344
• [Certora] More thorough verification #346
• [Certora] Cannot lose position & can withdraw all #348
• [Certora] Check that supply share ratio increases and borrow share ratio decreases #353
• [Certora] Revert conditions and input validation #358
• [Certora] New spec for checking commutativity of accrueInterests #427
• [Certora] Set proverargs hashingScheme to plaininjectivity  #442
• [Certora] Updated dev with all checks enabled #373
• [Certora] Munging #450
• [Certora] Liveness #451
• [Certora] remove extSloads munging #458
• [Certora] Cleaning, renaming & document rules #461
• [Certora] Add README #465
• [Certora] Complete liveness #467
• [Certora] Improve require documentation #468
• [Certora] Remove unnecessary require in stayHealthy #469
• [Certora] Review fixes #471
• [Certora] Improve scripts #472
• [Certora] Check id summary #491
• [Certora] Verify that it's always possible to repay all #492
• [Certora] Remove munging #494
• [Certora] Script performance #505
• [Certora] Documentation #538
• [Certora] Use configuration files #545
• [Certora] Update to v5 of the prover #600
• [Certora] Add basic sanity checks #599
• [Certora] Mutations #564
• [Certora] Fix suggestions #620
• [Certora] Liquidate liveness #621

[MathisGD]

let'sssss go