Update stellar-quorum-analyzer to master and handle NoQuorum status

[jayz22]

Description

What

Bump stellar-quorum-analyzer from f67e9e2f to b422b366 (master) and adapt the Quorum Intersection Checker V2 integration:

• Add QuorumCheckerStatus::NO_QUORUM (103), propagated through the subprocess exit code, result.json, adaptor state, a new result-no-quorum metric, and the CLI. It counts as a complete run but never advances mLastGoodLedger, so the network does not report as enjoying quorum intersection.
• Remove the now-dead set_rust_global_memory_limit_to_unlimited() and its stale abort-based-memory comments.
• Update the two null-qset tests to expect NO_QUORUM; add a no-quorum test.

Why

The new analyzer distinguishes an FBAS with no quorum at all (a degenerate / potential-halt state) from UNSAT ("enjoys quorum intersection"), which the old version wrongly conflated. It also replaced the global-allocator hard memory limit (process abort on exceed) with a soft, estimate-based per-solver limit, making set_rust_global_memory_limit_to_unlimited() a no-op.

Tested: full suite passes (5,678,585 assertions / 698 cases), incl. the [quorumintersection] suite.

Checklist

• Reviewed the contributing document
• Rebased on top of master (no merge commits)
• Ran clang-format (v20.1.8, the repo-pinned version; via git-clang-format on the diff)
• Compiles
• Ran all tests
• If change impacts performance, include supporting evidence — n/a

[Copilot]

Pull request overview

This PR updates Stellar Core’s Quorum Intersection Checker V2 integration to track and surface a new analyzer result: the “no quorum exists at all” FBAS condition. It bumps the stellar-quorum-analyzer dependency to master, propagates the new NO_QUORUM status through Rust↔C++ bridging, CLI exit codes, JSON results, and metrics, and adjusts/extends the test suite accordingly. It also removes the obsolete Rust global allocator memory-limit hook and refreshes associated documentation/comments to match the analyzer’s new soft per-solver memory limiting behavior.

Changes:

• Bump stellar-quorum-analyzer git revision and update status mapping to include QuorumCheckerStatus::NO_QUORUM (103).
• Remove the unused set_rust_global_memory_limit_to_unlimited() bridge/API and its call site.
• Extend metrics + JSON parsing/serialization and add/adjust tests to validate NO_QUORUM behavior and reporting.

Reviewed changes

Copilot reviewed 8 out of 9 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
src/rust/src/quorum_checker.rs	Maps analyzer SolveStatus::NoQuorum into the new QuorumCheckerStatus::NO_QUORUM; updates resource-limit commentary; removes global memory-limit function.
src/rust/src/bridge.rs	Extends the CXX bridge enum with NO_QUORUM = 103 and updates embedded documentation about solver memory limiting.
src/rust/Cargo.toml	Bumps stellar-quorum-analyzer dependency revision to b422b366….
Cargo.lock	Updates the locked git source hash for stellar-quorum-analyzer.
src/main/main.cpp	Removes the startup call to the now-removed Rust global memory-limit function.
src/main/CommandLine.cpp	Adds CLI handling/logging for NO_QUORUM and returns its status as the process exit code.
src/herder/RustQuorumCheckerAdaptor.h	Documents NO_QUORUM semantics and updates memory-limit documentation to match soft solver enforcement.
src/herder/RustQuorumCheckerAdaptor.cpp	Accepts NO_QUORUM from JSON/status parsing, tracks it in metrics, and treats it as a “complete run” without advancing mLastGoodLedger.
src/herder/test/QuorumIntersectionTests.cpp	Adjusts null-qset expectations to NO_QUORUM, adds a helper returning raw V2 status, and adds a targeted NO_QUORUM test plus metric assertion.