Group checks into sets

- added a DebugCheck to help make writing new rules easier
- more test helpers
- shuffling around the loader API
- dispatching a few Tracepoint event types that I'd missed
- added SelectFollowedBySize