chore(ssa_fuzzer): refactor ssa fuzzer part 3/4

[defkit]

Description

Big changes to initial_witness and function arguments

Now functions can returns arrays and references, or consume arrays and references
So fuzzer can generate programs like this:

fn main(arr: [[Field; 2]; 2], index: u32) -> pub Field {
  arr[index];
}

or like this

fn main(a: Field) -> pub Field {
  let mut t = a;
  func(&mut t);
  t
}
fn func(a: &mut Field) {
  *a += 1;
}

type.rs -> typed_value.rs

block_context.rs

• Got rid of get_typed_value_from_map and append_typed_value_to_map. Now it get_stored_variable and store_variable
• Previously fuzzer generated incorrect sizes of array in find_values_with_type (ACIR vs Brillig: array set to the array of smaller size than index #9678). Regression in tests/arrays.rs

function_context.rs

• Removed everything about initial witness
• Function data now has input types

fuzz_target_lib.rs

• Removed everything about initial witness

initial_witness.rs

• Now support arrays as initial witness. Examples in tests/witness.rs. Ensures that every function has at least one boolean defined.

witness.rs -> initial_witness mod

• Normal mutation for initial witness in followups

Problem*

Resolves

Summary*

Additional Context

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: 42e8a8c	Previous: 387b9b2	Ratio
test_report_noir-lang_noir-bignum_	209 s	135 s	1.55
test_report_zkpassport_noir-ecdsa_	3 s	2 s	1.50
test_report_zkpassport_noir_rsa_	2 s	1 s	2

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

CC: @TomAFrench

[defkit]

I accidentally pushed to this branch instead of creating a new one
In pobeda commit I finally managed to do arrays of arrays and references to references

instruction.rs

• Argument -> NumericArgument
• New type Argument for array and reference ops. Works as NumericArgument but with Type

mutations

• Now arrays in witness mutates as it should

tests

• Added some tests showing new functionality

[Rumata888]

Why is it called this? You are not generating a function.

[Rumata888]

You have other mutations, too

[Rumata888]

Would be nice if there was an explanation why