[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..18c63678d56f4773601b812db77b5ca717be6b04 100644
--- a/src/compiler/node-properties.h
+++ b/src/compiler/node-properties.h
@@ -110,6 +110,16 @@ class NodeProperties final {
   //  - Switch: [ IfValue, ..., IfDefault ]
   static void CollectControlProjections(Node* node, Node** proj, size_t count);
 
+  // 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);
 
   // ---------------------------------------------------------------------------
   // Type.