feat: update to zkVM v1.5.0

[hedgar2017]

What ❔

Updates the tester to zkVM v1.5.0.

Why ❔

Checklist

• PR title corresponds to the body of PR (we generate changelog entries from PRs).
• Tests for the changes have been added / updated.
• Documentation comments have been added / updated.
• Code has been formatted via cargo fmt and checked with cargo clippy.

[github-actions]

Benchmark results:

╔═╡ Size (-%) ╞════════════════╡ All M3B3 ╞═╗
║ Mean                               -0.027 ║
║ Best                                3.390 ║
║ Worst                             -115.976 ║
║ Total                              -0.046 ║
╠═╡ Cycles (-%) ╞══════════════╡ All M3B3 ╞═╣
║ Mean                               -0.190 ║
║ Best                               97.535 ║
║ Worst                             -1324.936 ║
║ Total                              -0.024 ║
╠═╡ Ergs (-%) ╞════════════════╡ All M3B3 ╞═╣
║ Mean                              100.000 ║
║ Best                               97.503 ║
║ Worst                             -1937.282 ║
║ Total                              50.091 ║
╚═══════════════════════════════════════════╝

╔═╡ Size (-%) ╞════════════════╡ All MzB3 ╞═╗
║ Mean                               -0.023 ║
║ Best                                2.817 ║
║ Worst                             -102.994 ║
║ Total                              -0.044 ║
╠═╡ Cycles (-%) ╞══════════════╡ All MzB3 ╞═╣
║ Mean                               -0.179 ║
║ Best                               96.264 ║
║ Worst                             -1171.429 ║
║ Total                              -0.021 ║
╠═╡ Ergs (-%) ╞════════════════╡ All MzB3 ╞═╣
║ Mean                              100.000 ║
║ Best                               97.503 ║
║ Worst                             -1928.496 ║
║ Total                              50.092 ║
╚═══════════════════════════════════════════╝

╔═╡ Size (-%) ╞════════╡ Precompiles M3B3 ╞═╗
║ Mean                                0.000 ║
║ Best                                0.000 ║
║ Worst                               0.000 ║
║ Total                               0.000 ║
╠═╡ Cycles (-%) ╞══════╡ Precompiles M3B3 ╞═╣
║ Mean                                0.034 ║
║ Best                                0.068 ║
║ Worst                               0.000 ║
║ Total                               0.000 ║
╠═╡ Ergs (-%) ╞════════╡ Precompiles M3B3 ╞═╣
║ Mean                               75.695 ║
║ Best                               94.048 ║
║ Worst                              -0.052 ║
║ Total                              49.913 ║
╚═══════════════════════════════════════════╝

╔═╡ Size (-%) ╞════════╡ Precompiles MzB3 ╞═╗
║ Mean                                0.000 ║
║ Best                                0.000 ║
║ Worst                               0.000 ║
║ Total                               0.000 ║
╠═╡ Cycles (-%) ╞══════╡ Precompiles MzB3 ╞═╣
║ Mean                                0.034 ║
║ Best                                0.068 ║
║ Worst                               0.000 ║
║ Total                               0.000 ║
╠═╡ Ergs (-%) ╞════════╡ Precompiles MzB3 ╞═╣
║ Mean                               75.875 ║
║ Best                               94.047 ║
║ Worst                              -0.050 ║
║ Total                              49.892 ║
╚═══════════════════════════════════════════╝

╔═╡ Size (-%) ╞══════════╡ Real life M3B3 ╞═╗
║ Mean                               -0.061 ║
║ Best                                0.000 ║
║ Worst                              -2.595 ║
║ Total                              -0.204 ║
╠═╡ Cycles (-%) ╞════════╡ Real life M3B3 ╞═╣
║ Mean                               -0.018 ║
║ Best                                5.063 ║
║ Worst                              -5.333 ║
║ Total                              -0.015 ║
╠═╡ Ergs (-%) ╞══════════╡ Real life M3B3 ╞═╣
║ Mean                              100.000 ║
║ Best                               96.588 ║
║ Worst                             -471.939 ║
║ Total                              93.111 ║
╚═══════════════════════════════════════════╝

╔═╡ Size (-%) ╞══════════╡ Real life MzB3 ╞═╗
║ Mean                               -0.110 ║
║ Best                                0.000 ║
║ Worst                              -4.942 ║
║ Total                              -0.317 ║
╠═╡ Cycles (-%) ╞════════╡ Real life MzB3 ╞═╣
║ Mean                               -0.056 ║
║ Best                               10.317 ║
║ Worst                             -11.504 ║
║ Total                              -0.015 ║
╠═╡ Ergs (-%) ╞══════════╡ Real life MzB3 ╞═╣
║ Mean                              100.000 ║
║ Best                               96.579 ║
║ Worst                             -444.712 ║
║ Total                              92.756 ║
╚═══════════════════════════════════════════╝