It was a lot of fun testing Onyx using Jepsen, though it did take some time to get things right. If anyone has questions about testing a distributed system in this way I'd be happy to answer them.