Jepsen tests for the CockroachDB distributed database - View it on GitHub