Update the state machine docs to reflect async boot (and other changes).