Set the state to a known state, test, assert the resultant state is what I think it should be.

Also testing a sequence of operations is fine, but that's one test not n of them. This is analogous to integration tests: they test several units but it's a single test.