[Certora] fix revert timeout #312

Job	Run time
verify (ConsistentState)	7m 0s
verify (DistinctIdentifiers)	38m 54s
verify (Enabled)	6m 44s
verify (Immutability)	8m 58s
verify (LastUpdated)	5m 5s
verify (Liveness)	6m 43s
verify (MarketInteractions)	6m 23s
verify (PendingValues)	9m 35s
verify (Range)	8m 48s
verify (Reentrancy)	10m 33s
verify (Reverts)	1h 28m 51s
verify (Roles)	8m 57s
verify (Timelock)	8m 1s
verify (Tokens)	4m 19s
	3h 38m 51s

Provide feedback