Taming distributed systems with deterministic simulation testing.