make sure transaction gets aborted if there are errors in validateInvariants