[v2] Node Checker for the new (v2) AST (#1501)

Added a node checker for the new AST (#1493), it defines a trait to be
implemented over the new nodes.

An important note, I use V1 nodes rather than a cursor since it's easier
to track what I've seen and what I haven't seen. I found it difficult
with a cursor to keep track of the children of a given node that had
been processed already, and to traverse them in an arbitrary order.
Since this comparison mechanism is temporary I think this solution is
ok, but it does mean all the offset calculation is being done again.

Author: teofr

Cargo.lock

@@ -22,6 +22,7 @@ categories = ["compilers", "parsing", "parser-implementations"]
 logos = { workspace = true }
 semver = { workspace = true }
 slang_solidity = { workspace = true, features = ["__private_ariadne_errors"] }
+slang_solidity_v2_cst = { workspace = true }
 slang_solidity_v2_common = { workspace = true }
 strum_macros = { workspace = true }
 

crates/solidity-v2/outputs/cargo/parser/Cargo.toml

@@ -1,5 +1,6 @@
 #![recursion_limit = "1024"] // for evaluating the 'logos' macro during build time
 
 mod lexer;
+mod parser;
 
 pub use lexer::temp_sourcify;

crates/solidity-v2/outputs/cargo/parser/src/lib.rs

@@ -0,0 +1 @@
+pub mod temp_cst_output;

crates/solidity-v2/outputs/cargo/parser/src/parser/mod.rs

@@ -0,0 +1,2 @@
+#[path = "node_checker.generated.rs"]
+pub mod node_checker;