[Certora] Fix timeouts #336

Job	Run time
verify (ConsistentState)	18m 14s
verify (DistinctIdentifiers)	7m 36s
verify (Enabled)	41m 48s
verify (Immutability)	12m 57s
verify (LastUpdated)	6m 53s
verify (Liveness)	26m 10s
verify (MarketInteractions)	15m 5s
verify (PendingValues)	2h 7m 7s
verify (Range)	22s
verify (Reentrancy)	14m 11s
verify (Reverts)	5m 58s
verify (Roles)	10m 23s
verify (Timelock)	5m 31s
verify (Tokens)	15m 6s
	5h 7m 21s

Provide feedback