How etcd Solved Its Knowledge Drain with Deterministic Testing