Disabled code contracts for now (to make it build on the build server)