StateMachine: servers apply committed state to their internal state machines
StateMachine: remove completed TODOs