Deterministic Simulation Testing in Rust: A Theater of State Machines