Sad to not see Jepsen tests ran on this at least by the developers when releasing a new clustering piece.
The folks working on cockroachdb recently did this[1] and it was a good read.
[1] https://www.cockroachlabs.com/blog/diy-jepsen-testing-cockro...