Added pattern matching in notify_wrap to check that all bases covered

Would be nicer with argument comments, for example:

{next_state, _Fsm_State, _State_Data, _Timeout}