Update dependency certora-cli to v8.6.3#6264

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

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