Integration test case part 2

This is the second part of #4371. It adds the remaining asserts I originally outlined. I think this is enough for 'now'. I'd like to get the documentation done and get some feedback from the community before adding much more to `IntegrationTestCase`.