Assertion/verification library to aid testing
