Add Jepsen reproduction test