Updated lifecycle state machine for consistency with reservation state
machine. Added stricter message checking.
Updated provisioning state machine for consistency. Also stricter
checking of received messages.
Removed unused version parameter from current state queries.