[TurboFan] Remove incorrect CHECK for VerifyType in Verifier

Bug: chromium:1212550
Change-Id: Ia3750305542caff97aeb83c078238c41cd2761d9
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2919963
Commit-Queue: Nico Hartmann <nicohartmann@chromium.org>
Commit-Queue: Georg Neis <neis@chromium.org>
Auto-Submit: Nico Hartmann <nicohartmann@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Cr-Commit-Position: refs/heads/master@{#74835}

src/compiler/verifier.cc

@@ -1511,15 +1511,7 @@ void Verifier::Visitor::Check(Node* node, const AllNodes& all) {
     case IrOpcode::kCheckedTaggedToTaggedPointer:
     case IrOpcode::kCheckedTruncateTaggedToWord32:
     case IrOpcode::kAssertType:
-      break;
-
     case IrOpcode::kVerifyType:
-      if (NodeProperties::IsTyped(node)) {
-        Node* input = NodeProperties::GetValueInput(node, 0);
-        DCHECK(NodeProperties::IsTyped(input));
-        CHECK(NodeProperties::GetType(node).Equals(
-            NodeProperties::GetType(input)));
-      }
       break;
 
     case IrOpcode::kCheckFloat64Hole: