Cardano Updates

Ports PR #155's compose-label exclusion mechanism to the adversary testnet, including the adversary host.

The Cardano nodes remain unlabeled so they stay faultable.

* [js] mithril-explorer from `0.7.51` to `0.8.0`

- reduces manual state tracking by using `FormData` to retrieve submitted values
- replaces redundant props with destructured parameters
- removes unused logic

+ Remove the `<Form>` that was wrapping the `AggregatorSetter` and `IntervalSetter`.

Goal: avoid stacked forms in the UI.

Explorer will only show its main UI when the store is fully loaded, this avoids timing issues such as loading the aggregator from the URL which may be overriden by init logic.

Add fallback loaders for `Provider` and `Suspense` to improve user experience during the loading phase.

Under eager, non-voters pre-fetch the EB body and missing
closure during the diffusion window in parallel with voter activity
(rather than starting from scratch when the certRB arrives, which is
the lazy alternative we previously documented).

Add a new "Where does p_cert come from?" sub-paragraph in §3.1
between the bug-fix pseudocode and the existing "Why P_cert, not
P(EB exists)" subsection.

Add comprehensive support for Aiken v1.1+ language features:

- Decorators (@tag, @list) on types and enum variants
- Benchmarks (bench keyword) with via fuzzer support
- error keyword alongside fail, todo with optional expression
- Variadic trace (trace @"label": a, b, c)
- Soft-cast (if expr is Pattern) within if expressions
- When clause alternatives with pipe (|)
- Record updates with spread syntax (Type { ..base, field: value })
- fail/fail once test modifiers for property tests
- as bindings on let/expect assignments
- Backpass assignment (<-)
- Function argument destructuring (pattern and record)
- Function type aliases (type Callback = fn(Int) -> Bool)
- Typed validator handlers with else fallback
- Binary (0b) and octal (0o) integer literals
- Constants referencing other constants
- Discard patterns in function arguments

Also updates Rust bindings to tree-sitter-language 0.1, adds
tree-sitter.json for ABI 15, and improves highlight queries.

Co-Authored-By: Cursor <[email protected]>

Changed api srp to IntersectMBO

Signed-off-by: Jonathan Lim <[email protected]>

Fix epoch transition effective happening

streamline store initialization and state preloading logic

Consolidate state preloading with `getPreloadedStateFromLocalStorage` and introduce `getEmptyPreloadedState` for default states.

Standardizes how aggregators are handled throughout the application,
updating the codebase to use aggregator objects with enhanced metadata
(e.g., `name`, `url`).

Refactored components, tests, and state management accordingly.

Introduce a new sorting logic prioritizing main networks (mainnet,
preprod, preview) and subtypes (release, pre, testing) for better
organization.

Exclude "dev-" networks from the list.

Updates scripts and build process to generate an aggregators list, replacing the genesis verification keys logic. Adjusted related files and output to align with the new structure.