[Certora] Supply cap #329

Job	Run time
verify (ConsistentState)	33m 27s
verify (DistinctIdentifiers)	5m 29s
verify (Enabled)	4m 39s
verify (Immutability)	12m 35s
verify (LastUpdated)	14m 29s
verify (Liveness)	25m 48s
verify (MarketInteractions)	16m 50s
verify (PendingValues)	49m 18s
verify (Range)	19m 34s
verify (Reentrancy)	12m 15s
verify (Reverts)	4m 25s
verify (Roles)	12m 5s
verify (SupplyCap)	56m 12s
verify (Timelock)	8m 18s
verify (Tokens)	14m 8s
	4h 49m 32s

Provide feedback