Dropping Code Contracts.

CC extension requires Visual Studio Ultimate, apparently, and this
shouldn't be a required dependency. It also makes the CI environment
harder to configure (no ccrewrite installer that doesn't depend on VS).