Nuke Code Contracts, it hangs the build