[test] Regression Tests Check Invariants Every "create-blocks"
This asserts all invariants between every create-blocks
operation instead of only at the end of the suite. This avoids the need for explicit checks if they break transitively during the suite.