Added contracts in NONCE_MANAGER.
Added contracts in USER_MANAGER class.
Modified contracts in MEMORY_USER_MANAGER class.
fixed postcondition in USER_MANAGER, and removed postcondition in MEMORY_USER_MANAGER.
minor changes.