Add A/B tests to "make check".

It would be nice to add these to the lit tests to benefit from
multithreaded test execution and output checking, but I haven't
yet figured out how to hook it up correctly.