Merge pull request #37 from morpho-org/colin@verif/expected-reverts #186

Job	Run time
verify (ConsistentInstantiation)	2m 35s
verify (Immutability)	1m 1s
verify (MarketExists)	1m 56s
verify (Liveness)	1m 55s
verify (Reentrancy)	1m 0s
verify (Reverts)	1h 19m 11s
	1h 27m 38s

Provide feedback