TiDB Passes Jepsen Test for Snapshot Isolation and Single-Key Linearizability

See Kyle's report here:https://jepsen.io/analyses/tidb-2.1.7?from=timeline&isappins...