This looks great! I'd previously been pointing people at <a href="https://pdos.csail.mit.edu/6.824/labs/lab-kvraft.html" rel="nofollow">https://pdos.csail.mit.edu/6.824/labs/lab-kvraft.html</a> (which has a golang Raft test suite).