add missing lines, remove most formatting
remove weights (formatting)
add missing abort transitions
add done states

Transitions to done states generally don't do anything, and are
triggered by errors that cannot reasonably be handled.
add state machine details to spec
add descriptions to state table
remove timeout timer when signal received while registering
add missing final states
Merge pull request #2 from mark-burnett/states-for-additional-error-handling

Expand state machine detail