enable Verification in PassManager