Add contract error expectations

[jackfirth]

It should be easy to test that a thunk raises a contract error and assert various properties of that error, such as what source location is used, what the positive and negative parties are, what was expected v.s. what was produced, etc.