Disabled code contracts in release mode