Removed code contracts from Release build.