turn off code contracts