I would recommend to remove CodeContracts at all from Source code. It is just a pain, which also takes more time for building. 
CodeContracts can be really helpful when you really need to define contracts for interfaces, but for our case - we can just define our simple Contract class without injecting CodeContract code post factum. 
I would say that it gives more pain for developers than benefits for maintainers.