[turbofan] Address the useless overflow bit materialization.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index 17b81df1e6cd367c07d7955767244c8a9d010dc2..cb61108b64cb8d3b5c5ef35e1ba63463e7bb70a3 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -278,7 +278,6 @@ void Verifier::Visitor::Check(Node* node) {
       break;
     case IrOpcode::kDeoptimizeIf:
     case IrOpcode::kDeoptimizeUnless:
-    case IrOpcode::kCheckIf:
       // Type is empty.
       CheckNotTyped(node);
       break;
@@ -956,6 +955,8 @@ void Verifier::Visitor::Check(Node* node) {
       CheckUpperIs(node, Type::TaggedPointer());
       break;
 
+    case IrOpcode::kCheckedInt32Add:
+    case IrOpcode::kCheckedInt32Sub:
     case IrOpcode::kCheckedUint32ToInt32:
     case IrOpcode::kCheckedFloat64ToInt32:
     case IrOpcode::kCheckedTaggedToInt32: