[turbofan] Move more type checks to the representation selector.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index 077acb5ee9b1c87e32a84c32d4a3fde4af28e734..beb42d76f41f084c3ebffb89c0d77c9cee87edc8 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -760,7 +760,7 @@ void Verifier::Visitor::Check(Node* node) {
       CheckUpperIs(node, Type::TaggedPointer());
       break;
 
-    case IrOpcode::kChangeSmiToInt32: {
+    case IrOpcode::kChangeTaggedSignedToInt32: {
       // Signed32 /\ Tagged -> Signed32 /\ UntaggedInt32
       // TODO(neis): Activate once ChangeRepresentation works in typer.
       // Type* from = Type::Intersect(Type::Signed32(), Type::Tagged());