Basic code contracts for public facing API

This adds basic postconditions for Mock creation.

See issue: [Add support for code contracts](https://github.com/Moq/moq4/issues/94)