Clerer assertions test

Test that each assertion does what it's supposed to, and make a fuss if
the number of assertions doesn't add up