Testing code for raft4ws and comparison with ZooKeeper