Added basic code contracts to public api

	1. Added code contract to project compilation
	2. Added not null postcondition to mock factory methods
	3. Added not null postcondition to "Object" properties on
	mock