Rewrite test/Verifier tests to use FileCheck instead of grep