Use verify and verifyPostconditions in Contract.implementation. Because of the defaults, tests now fail.
Use verify and verifyPostconditions in Contract.implementation. Because of the defaults, tests now fail.

Tests work (but do not have coverage) with verifyPostconditions true. Coverage changes as expected with all variations.

Toryt/contracts,Toryt/contracts,Toryt/contracts