Refine FSM errors
Don't allow SW state not to have a default value
Update tests for refined errors
Add test for no default value of SW state
Update the docs