Turmoil is a framework for testing distributed systems that provides deterministic execution and...