🎨 improve state machine logic

[flowerthrower]

Currently, the MDP/state machine logic is very opaque. Improvements to the corresponding circuit states and transition logic would make the code better maintainable and easier to comprehend.

Mostly implemented in #573