turn off all code contracts