DST for async Rust

Taming distributed systems with deterministic simulation testing.

S2