More Code Contracts fixes

Enabled code contracts for the 3 main projects
For CodeContracts configuration use simpler CA ruleset