Disable Source and Code Analysis when running Code Contracts