I am playing with Code Contracts, and the idea seems really nice. How can I however enable/disable different aspects of checking for the whole solution?
You cannot, you have to do it Project by Project.