Implemented unit tests for State.create_blank, State.State(), and state.add_transition.