Current master version of modest fails to pass test benchmarks "run-p-test.json".

In the attached files are the results recorded after running the benchmark with the 2022 version of modest ("results-interleaved-given.txt") and the latest version of the modest toolset from the master branch ("results-interleaved-compiled.txt"). The current version fails to pass most of the tests. The attached "run-p-test.json" contains the configuration of the benchmark.

results-interleaved-given.txt results-interleaved-compiled.txt run-p-test.json