[turbofan] Introduce CheckIf node (deopt without explicit frame state).

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index bdc12fe4bcacbcbe1dc9e6d25d22820e69e2265d..e2b908c1121049c9199f84c3335ab96e4b5034ad 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -278,6 +278,7 @@ void Verifier::Visitor::Check(Node* node) {
       break;
     case IrOpcode::kDeoptimizeIf:
     case IrOpcode::kDeoptimizeUnless:
+    case IrOpcode::kCheckIf:
       // Type is empty.
       CheckNotTyped(node);
       break;