[Certora] Supply cap #344

Job	Run time
verify (ConsistentState)	7m 16s
verify (DistinctIdentifiers)	4m 52s
verify (Enabled)	43m 21s
verify (Immutability)	17m 22s
verify (LastUpdated)	9m 22s
verify (Liveness)	10m 43s
verify (MarketInteractions)	7m 3s
verify (PendingValues)	49m 27s
verify (Range)	5m 20s
verify (Reentrancy)	16m 14s
verify (Reverts)	16m 38s
verify (Roles)	14m 8s
verify (SupplyCap)	36m 41s
verify (Timelock)	6m 11s
verify (Tokens)	6m 7s
	4h 10m 45s

Provide feedback