Cardano Updates

finish_task() previously sent a ClockEvent::FinishTask through the same
mpsc channel as Wait/CancelWait events, creating contention. Now it does
an atomic fetch_sub and signals a Notify, letting the coordinator wake
without channel round-trips. Also handles the resulting race where time
can advance before a Wait event arrives.

Co-Authored-By: Claude Opus 4.6 <[email protected]>

Linear Leios and Stracciatella variants don't produce IBs, so the
end-of-run stats were printing empty/NaN IB lines. Gate all IB stats,
IB-in-EB stats, IB latency, and IB network messages on a new
LeiosVariant::has_ibs() method.

Co-Authored-By: Claude Opus 4.6 <[email protected]>

feat(antithesis): add dingo to immdb compose stack

Update documentation sections

Updating glossary entries in line with Kris's suggestions

- Improve grammar
- Make language more appropriate for documentation

Add the technical design document and fix a broken link

This commit updates the use cases section, improving grammar and making the language more appropriate for documentation.

This PR updates the 'Strategy' section in line with Kris's suggestions. The goal is to ensure that the copy is up-to-date and follows IO's style guidelines.  More changes to be made within this PR.

- Add formal specs to resources since we'll remove them from the navigation
- Some formatting and editing

This commit updates FAQs for relevance and the latest development progress. Based on suggestions from Kris.