Update stale flake inputs and bump ruby 3.1 → 3.3 (#5225)
## Summary
### Flake input updates
- **iohk-nix**: Remove hardcoded `?rev=` pin to personal branch
`hkm/update-blst` — blst v0.3.14 is already on master
- **mithril**: Update from `2543.1-hotfix` to latest stable release
`2603.1`
- **haskell.nix + hackage.nix**: Update to latest master
### Nix fixes
- **ruby 3.1 → 3.3**: `ruby_3_1` removed in newer nixpkgs pulled by
haskell.nix update
- **mdbook-mermaid overlay**: Pin to 0.16.x — haskell.nix's nixpkgs
ships mdbook-mermaid 0.17 (requires mdbook 0.5) but still has mdbook
0.4.52
### CI improvements
- **Build Gate (Windows)**: Extract Windows cross-compilation into its
own visible build gate
- **Attic Cache dependencies**: Now waits for all three gates (quality,
artifacts, windows) before pushing — no more redundant rebuilds
- **actions/checkout v4 → v6**: Fix Node.js 20 deprecation warnings
- **actions/upload-artifact v4 → v7**: Fix Node.js 20 deprecation
warnings
### HLint fixes
- Resolve 7 new warnings from updated HLint version (redundant toList,
use flip, move reverse out)
## Test plan
- [x] All unit tests pass
- [x] Conway integration tests pass
- [x] Local cluster tests pass
- [x] Docs build passes (mdbook-mermaid overlay verified)
- [x] HLint passes
- [x] Build Gate (Linux, macOS, Dev Shell, Artifacts) pass
- [x] Build Gate (Windows) visible as separate check
Closes #5218, closes #5219, closes #5220