Simplify RunPactVerification