Upgrade Certora CLI and Prover to v7.6.3 on the CI

[mmv08]

Changelog is available here: https://docs.certora.com/en/latest/docs/prover/changelog/prover_changelog.html#may-15-2024

I also fixed the verifyNativeTokenRefund ruleset not using the configuration file.

[coveralls]

Pull Request Test Coverage Report for Build 9176099442

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 94.413%

---

Totals
Change from base Build 8900628538:	0.0%
Covered Lines:	398
Relevant Lines:	406

---

💛 - Coveralls