Need to prove correctness in the event of a network partition. Jepsen test results are required before we can consider use of libtrue otherwise we could be deploying alternate truth in our microservices infrastructure. See also #45 and #48.