Update dependency certora-cli to v8.3.0#5968

renovate[bot] wants to merge 3 commits intomasterOpenZeppelin/openzeppelin-contracts:masterfrom

renovate/certora-cli-8.xOpenZeppelin/openzeppelin-contracts:renovate/certora-cli-8.xCopy head branch name to clipboard