Cardano Updates

feature: cardano blocks transactions certification in explorer

Group the three separate properties (EB production, EB certificate
inclusion, cumulative tx bytes) into one 'prop_leios' that runs the
thread net once per seed and checks all invariants via conjoin.

Use 'adjustQuickCheckTests (`div` 10)' so the property runs 10 times
by default (instead of 1) while remaining overridable from the CLI.

cabal 3.16 expects 00-index.tar.gz in local repos but haskell.nix
mkLocalHackageRepo produces 01-index.tar.gz. Create a symlink via
the shellHook.

Flip the exit-code default so the docs deploy is no longer blocked by
upstream drift. The script still collects every dead link across all
phases and reports them at the end (no early-exit); only the final
exit code changes:

  - Default: exit 0 after printing the full diagnostic. Set
    FIX_HADDOCK_LINKS_STRICT=1 to fail the build instead.
  - github-page.yml runs post-push and never blocked merges, but
    exit 1 was skipping the Deploy step — default 0 keeps the site
    deploying while the diagnostic is still visible.

Make the per-URL diagnostic tell the reader what to fix:

  - Upstream Haskell module name (derived from the URL path by
    reversing Haddock's dot-to-dash encoding).
  - Symbols being linked (the <a> tag anchor text, collected before
    the <a>→<span> replacement runs).
  - Our own docs pages that reference the URL (maps 1:1 to our .hs
    source files).

In GitHub Actions, each dead link also emits a ::warning:: workflow
command so the failure surfaces as an annotation in the job summary
UI, not just in the log body.

No longer allow leftover bytes when decoding IPv4/IPv6 addresses regardless
of decoder version.

* mithril-common from `0.6.65` to `0.6.66`
* [js] mithril-explorer from `0.7.48` to `0.7.49`

This reverts commit 8e2a2dfa79db755f13c58c39180227f796f83e42.

cabal 3.16 expects 00-index.tar.gz in local repos but haskell.nix
mkLocalHackageRepo produces 01-index.tar.gz. Create a symlink via
the shellHook.

added:
* github:input-output-hk/mithril/08eddbfc2c77ff1b38e6d9e791d41266a17b8a32#mithril-client-cli
* github:input-output-hk/mithril/08eddbfc2c77ff1b38e6d9e791d41266a17b8a32#mithril-signer
removed:
* github:input-output-hk/mithril/bef4037ebc29c83edb4dd546e0bae9d57d52642c#mithril-client-cli
* github:input-output-hk/mithril/bef4037ebc29c83edb4dd546e0bae9d57d52642c#mithril-signer