This initial patch doesn't actually do much useful. It's just to show where the new code goes. Once this is in, I'll extend the verification logic to check more useful properties.
For those curious, the more complicated version of this patch already found one very suspicious thing.
p.s. At the time of posting, this hasn't actually finished building. For some reason my incremental build decided to do a full rebuild which takes a while. That's not the main point of the review anyways; I'm mostly curious about placement/purpose comments.