I'd love to see a jepsen test. Maybe the spanner team would be able to sponsor an independent test?