First lrat checker, with fast-alists but no shrinking; see ../rev2/
for a version with shrinking and more of a proper README.