have fun testing a stateful system without order-dependent tests
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.
how do you guarantee that the state that you set as the initial state is reachable in your system?
In other words, tests shouldn't be coupled together. Reinitialize, and rerun steps, between each test that stands alone.