Rewrite test/ExecutionEngine tests to use FileCheck instead of grep