Changing code contracts settings: disable runtime checking for Release builds, and enable static checker for Debug builds.