Add lots of extra assertions to check on instance variables