Optimized code contracts in project file

	1. Added code contracts to release build
	2. Disabled contract analysis for Moq itself