Test a verifier.

Choose a pack, edit the output, and run the checks.