[Certora] Safe require mint&burn #115

Job	Run time
verify (DelegationEthereum)	10m 26s
verify (DelegationOptimism)	10m 17s
verify (ERC20InvariantsEthereum)	5m 1s
verify (ERC20Ethereum)	7m 9s
verify (ERC20InvariantsOptimism)	7m 10s
verify (ERC20Optimism)	7m 6s
verify (ExternalCallsEthereum)	6m 5s
verify (ExternalCallsOptimism)	6m 6s
verify (MintBurnEthereum)	7m 8s
verify (MintBurnOptimism)	5m 31s
verify (RevertsERC20Ethereum)	5m 46s
verify (RevertsERC20Optimism)	4m 0s
verify (RevertsMintBurnEthereum)	3m 59s
verify (RevertsMintBurnOptimism)	5m 38s
	1h 31m 22s

Provide feedback