Paxos visualizer for CSE 535 project