Changing configuration of Code Contracts: always enable code contracts runtime checking because of problems with Contract.Requires<ExplicitException>(xxx).