Just dropping my $0.02 cents on the Jepsen testing for Qdrant's distributed guarantees. While Jepsen is a solid choice, have you considered throwing Antithesis [1] into the mix as well? If it's already on your radar, then no worries, just figured I'd mention it.

[1]: https://antithesis.com/