dev-async 0.9.4

Async runtime verification for Rust: timeouts, deadlock detection, task tracking, hung-shutdown probes. The async failure modes that synchronous tests miss. Part of the dev-* verification collection.