Merge pull request #434 from loselarry/main #389

Job	Run time
verify (ConsistentState)	14m 31s
verify (DistinctIdentifiers)	9m 23s
verify (Enabled)	11m 25s
verify (Immutability)	10m 45s
verify (LastUpdated)	8m 57s
verify (Liveness)	12m 45s
verify (MarketInteractions)	11m 9s
verify (PendingValues)	13m 27s
verify (Range)	12m 29s
verify (Reentrancy)	9m 56s
verify (Reverts)	13m 29s
verify (Roles)	9m 36s
verify (Timelock)	15m 38s
verify (Tokens)	11m 16s
	2h 44m 46s

Provide feedback