I think we should move this as a side note below the stuff about the parser's own test suite, since that's the main thing we use to verify that the parser works, where the other tests are additional information.