Work around for code contract failure on AppVeyor build server.

Failure is likely to do an outdated version of Code Contracts libraries, but this should resolve it.  I believe it has to do with contract validation when constructing a class using a base class as a constructor parameter.