feat(cli): Add nargo interpret command

[aakoshh]

Description

Problem*

@guipublic said he would like to use the SSA interpreter to evaluate the SSA at a certain point in the pipeline to debug some issue.

This is related to #8503 , but instead of working on a stand-alone SSA snippet where we would have to come up with some input format as well, it taps into the existing flow of nargo, dealing with Noir source code and TOML/JSON input, which I thought was a low hanging fruit and fits into our typical workflow.

Summary*

Adds a new nargo interpret command compiles the source code, looks for binary packages, parses their Prover.toml file, then uses the SSA Interpreter to evaluate the SSA after each pass, according to the --ssa-pass filter, which can accept multiple passes, similar to --show-ssa-pass.

At the moment it only considers the primary passes, it doesn't do the secondary like the normal flow.

Additional Context

I added a reference from nargo_cli to:

• noirc_evaluator: so that I can access the interpreter
• noir_ast_fuzzer: so that I can turn ABI inputs into SSA interpreter values

We could migrate some of the stuff from the AST fuzzer into the libraries, but I thought it could be done as a follow up, to keep the code churn to a minimum.

The new command also has quite a lot of boilerplate due to having to compile from source into monomorphized AST, which isn't exposed by the compiler library as a flow. In this it is similar to what I had to do in #8393

Example:

❯ cargo run -q -p nargo_cli -- interpret --silence-warnings --ssa-pass Flattening --ssa-pass "Removing bit shifts" 
--- Interpreter result after Flattening (step 17):
Ok([Numeric(U8(78))])
---
--- Interpreter result after Removing Bit Shifts (step 18):
Err(Internal(ConstantDoesNotFitInType { constant: -409655725810913393472212215421341542392503380204074161341709628484773418406, typ: Unsigned { bit_size: 64 } }))
---

The options include all the CompileOptions, such as --force-brillig and --show-ssa, plus some from execute:

❯ cargo run -q -p nargo_cli -- interpret --help
Compile the program and interpret the SSA after each pass, printing the results to the console

Usage: nargo interpret [OPTIONS]

Options:
      --package <PACKAGE>
          The name of the package to run the command on. By default run on the first one found moving up along the ancestors of the current directory

      --workspace
          Run on all packages in the workspace

      ...

  -p, --prover-name <PROVER_NAME>
          The name of the TOML file which contains the ABI encoded inputs
          
          [default: Prover]

      --ssa-pass <SSA_PASS>
          The name of the SSA passes we want to interpret the results at.
          
          When nothing is specified, the SSA is interpreted after all passes.

  -h, --help
          Print help (see a summary with '-h')

Options which only affect ACIR or Brillig generation are ignored.

The command itself is hidden, like the SSA options in general.

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 9c02ffa	Previous: 9e90bf4	Ratio
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_blob	52 s	42 s	1.24

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[asterite]

Looks good!