Introduce shortcut macros for various assertions.

Try to make it as easy as possible to sprinkly as many asserts as
possible throughout the code.