···7373- [X] Optimization: avoid waking a process unless it has received messages
7474- [X] Use a single clock source in Scheduler (above optimization slowed per-process clock progression)
7575- [X] Optimization: only wake a process when it receives the message it's waiting for
7676+- [ ] Add timeouts to SimServer calls
767777787879### Testing
···8485- [X] Make cycle checking more aggressive by checking every commit
8586- [ ] Add event tracing/logging system for debugging purposes
8687- [X] Add ReadWrite workload to test read/write correctness
8787-- [ ] Make ShardMove workload more aggressive (multiple moves)
8888+- [X] Make ShardMove workload more aggressive (multiple moves)