Mock contracts

[jackfirth]

It should be possible to impose contracts on mock behaviors, such as "this behavior should always return an integer". This can be combined with machinery to pull contracts off of mocked dependencies and use them for auto-constructed mocks.