test(dursto): prove and verify every provable Registry step

[victor-dumitrescu]

Closes TZX-179.

What

Adds proof production and verification on every step of every Registry end to end test.

Why

To gain confidence in Registry single step proof production and verification.

How

The diff is quite long, but most of it is splitting test_helpers/registry_test_helpers.rs into 2 modules, one for Database helpers and one for Registry helpers. The names of equivalent declarations in either one has also been harmonised.

The last commit introduces the new test functionality: run_operations becomes run_and_prove_registry_operations. Its implementation and that of the extra helpers required are similar to their existing Database equivalents.

Manually Testing

make all

Tasks for the Author

• Link all Linear issues related to this MR using magic words (e.g. part of, relates to, closes).
• Eliminate dead code and other spurious artefacts introduced in your changes.
• Document new public functions, methods and types.
• Make sure the documentation for updated functions, methods, and types is correct.
• Add tests for bugs that have been fixed.
• Explain changes to regression test captures when applicable.
• Write commit messages in agreement with our guidelines.
• Self-review your changes to ensure they are high-quality.
• Complete all of the above before assigning this MR to reviewers.

[codecov]

Codecov Report

❌ Patch coverage is 92.54328% with 56 lines in your changes missing coverage. Please review.
✅ Project coverage is 89.88%. Comparing base (809bddc) to head (a417ec1).

Files with missing lines	Patch %	Lines
durable-storage/src/test_helpers/database.rs	90.99%	34 Missing and 12 partials ⚠️
durable-storage/src/test_helpers/registry.rs	95.81%	10 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1100      +/-   ##
==========================================
- Coverage   89.92%   89.88%   -0.04%     
==========================================
  Files         135      136       +1     
  Lines       29269    29345      +76     
  Branches    29269    29345      +76     
==========================================
+ Hits        26320    26378      +58     
- Misses       2127     2144      +17     
- Partials      822      823       +1     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[github-actions]

Benchmark results for revision d6a3127:

Metric	Duration	TPS
Mean	1.518330856s	26.345
Worst	1.531150537s	26.124
Best	1.502860846s	26.616
Standard Deviation	±5.520217ms	±0.096

Full results

Run	Transfers	Duration	TPS
1	40	1.521589959s	26.288
2	40	1.521903857s	26.283
3	40	1.521170076s	26.296
4	40	1.520435073s	26.308
5	40	1.519203474s	26.330
6	40	1.513871705s	26.422
7	40	1.52452462s	26.238
8	40	1.512962954s	26.438
9	40	1.517501622s	26.359
10	40	1.522707965s	26.269
11	40	1.531150537s	26.124
12	40	1.522798631s	26.267
13	40	1.51635499s	26.379
14	40	1.502860846s	26.616
15	40	1.517645047s	26.357
16	40	1.517275228s	26.363
17	40	1.516587425s	26.375
18	40	1.517239167s	26.364
19	40	1.513435584s	26.430
20	40	1.51539837s	26.396

Compare the results above with those for the default branch.