[Certora] Fix timeouts #337

Job	Run time
verify (ConsistentState)	19m 8s
verify (DistinctIdentifiers)	4m 52s
verify (Enabled)	41m 17s
verify (Immutability)	12m 26s
verify (LastUpdated)	4m 16s
verify (Liveness)	23m 42s
verify (MarketInteractions)	15m 1s
verify (PendingValues)	2h 3m 57s
verify (Range)	7m 23s
verify (Reentrancy)	14m 33s
verify (Reverts)	4m 42s
verify (Roles)	12m 6s
verify (Timelock)	6m 11s
verify (Tokens)	13m 25s
	5h 2m 59s

Provide feedback