Congrats on the release! The benchmark results look really impressive :).

Curious to learn more about your approach to verifying the correctness of the implementation. Did you try testing it with Jepsen or something similar?