Raft has been manually verified which was the hurdle here that makes the result interesting:

https://github.com/uwplse/verdi-raft