Comment by jwr

I think the title should be changed to include "Jepsen-failing", because the tests did not in fact pass.