Assertions.h: helpers to write smarter assertions