Assertions to validate method input/output with nice error messages

 This library contains efficient assertions to test the input and output
 of methods. With these assertions, one can greatly reduce the amount of
 coding needed to write a safe implementation.