Reset CodeContracts settings.