[turbofan] Check node input/use consistency for changed operators and new nodes.

src/compiler/node-properties.h

Index: src/compiler/node-properties.h
diff --git a/src/compiler/node-properties.h b/src/compiler/node-properties.h
index 44f9b7974c8936fc6ddfe5729182ea65976e4f34..451d68ac49de7ef76c0db0bd77418d71085d3aba 100644
--- a/src/compiler/node-properties.h
+++ b/src/compiler/node-properties.h
@@ -98,6 +98,17 @@ class NodeProperties final {
   // currently in a state that satisfies constraints of the new operator.
   static void ChangeOp(Node* node, const Operator* new_op);
 
+  // Verifies consistency of node inputs and uses:
+  // - node inputs should agree with the input count computed from
+  //   the node's operator.
+  // - effect inputs should have effect outputs.
+  // - control inputs should have control outputs.
+  // - frame state inputs should be frame states.
+  // - if the node has control uses, it should produce control.
+  // - if the node has effect uses, it should produce effect.
+  // - if the node has frame state uses, it must be a frame state.
+  static void Verify(Node* node);
+
   // ---------------------------------------------------------------------------
   // Miscellaneous utilities.