Added certora CI workflow [PE-11]

[iamsahu]

Description

This PR integrates the certora verification into the CI. The prover would run on any new changes being pushed to the repo.

Here is the original PR created by the Certora team. We have just recreated the original PR.

Notice

• Have you checked to ensure there aren't other open Pull Requests for the same update/change?
• Have you assigned this PR to yourself?
• Have you added at least 1 reviewer?
• Have you updated the official documentation?
• Have you added sufficient documentation in your code?
• Have you added relevant tests to the official test suite?

Pull Request Type

• 💫 New Feature (Breaking Change)
• 💫 New Feature (Non-breaking Change)
• 🛠️ Bug fix (Non-breaking Change: Fixes an issue)
• 🕹️ Chore (Non-breaking Change: Doc updates, pkg upgrades, typos, etc..)

Breaking changes (if applicable)

Testing

• Have you tested this code with the official test suite?
• Have you tested this code manually?

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 95.03%. Comparing base (a419ced) to head (c870119).
Report is 2 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #304   +/-   ##
=======================================
  Coverage   95.03%   95.03%           
=======================================
  Files          75       75           
  Lines        1773     1773           
  Branches      235      235           
=======================================
  Hits         1685     1685           
  Misses         29       29           
  Partials       59       59           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests
• JS Bundle Analysis - Avoid shipping oversized bundles

[juliaaschmidt]

Not sure we're actually changing any of it?

Did they write a proof for the mitigated front-running attack? Didn't see it, but the PR is massive.

[koderholic]

LGTM

[mischat]

👍