Support for gen_substrs testing, both raw and decomposed. This means the gen_substrs functionality can be tested against input! Note:

- gen_substrs mode is marked with a bool. If not passed in db entry, it is by default false
- raw input can either be a simple regex string or the regex + transitions
- random sample testing with gen_substrs is only done for decomposed; sample separate parts and "save" the substrings for output verification

Additional changes:
- changed noir version to 0.34
- WIP mark Noir test pass or fail (this isn't working properly)
- when testing with input samples, removed the check with Rust regex lib. The input samples are already marked pass or fail, so this could potentially be confusing for user
- reorganized TestResult for hopefully better clarity of what the results are

Note: this will only work with the gen_substrs branch on top of Noir support for zk-regex.

Author: ewynx

test_suite/execution_project/Nargo.toml

@@ -2,6 +2,6 @@
 name = "execution_project"
 type = "bin"
 authors = [""]
-compiler_version = ">=0.32.0"
+compiler_version = ">=0.34.0"
 
 [dependencies]