[PM] Wire up support for explicitly running the verifier pass.