Add failing test suite for BlockState.
Add full-stack failing tests for the still-unnamed OtherAutomaton