Changed CodeContractsRuntimeCheckingLevel to "Pre and Post".