[test] add invariant checks to regression tests
Now that we have a means of querying invariants (!2793 (merged)), we can add a stage to the regression tests to ensure the invariants hold at each block for the test suites.
Now that we have a means of querying invariants (!2793 (merged)), we can add a stage to the regression tests to ensure the invariants hold at each block for the test suites.