feat(ci): add Registry long tests to nightly tests

[victor-dumitrescu]

What

Reassigns 16 of the 20 nightly tests to be Registry long tests by removing all Database test replicas. These have the same parameters as the remaining Database tests but are split into 8 tests running with --keep-stable-size and 8 without.

TODO: The unconstrained Registry tests are much slower than those running with --keep-stable-size. This might mean that in spite of the 30-minute buffer, they might be cancelled at the end of the run mid-epoch, which would result in a failure. It might be necessary to adjust their parameters (test cases/epoch, ops/epoch) or to not run them altogether.

Why

To gain more confidence in the correctness of Registry semantics and proofs.

Manually Testing

Cannot be tested locally. See a manually triggered run in CI here

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

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 89.85%. Comparing base (31e6453) to head (e09aef1).

Additional details and impacted files

@@              Coverage Diff              @@
##           vdum/tzx-180    #1122   +/-   ##
=============================================
  Coverage         89.85%   89.85%           
=============================================
  Files               143      143           
  Lines             30146    30146           
  Branches          30146    30146           
=============================================
+ Hits              27087    27088    +1     
+ Misses             2181     2180    -1     
  Partials            878      878           

☔ 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.