Reland of [turbofan] Insert dummy values when changing from None type.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index eb42b39569ba87e8de8f8ee4cf57caa109e526a5..0eb3a8981c1cfcb4a6caac90a93bfadaee68819c 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -1003,14 +1003,6 @@ void Verifier::Visitor::Check(Node* node) {
       // CheckUpperIs(node, to));
       break;
     }
-    case IrOpcode::kImpossibleToWord32:
-    case IrOpcode::kImpossibleToWord64:
-    case IrOpcode::kImpossibleToFloat32:
-    case IrOpcode::kImpossibleToFloat64:
-    case IrOpcode::kImpossibleToTagged:
-    case IrOpcode::kImpossibleToBit:
-      break;
-
     case IrOpcode::kCheckBounds:
       CheckValueInputIs(node, 0, Type::Any());
       CheckValueInputIs(node, 1, Type::Unsigned31());