Jepson seems to do a lot of what you want in Bender: https://github.com/aphyr/jepsen https://github.com/aphyr/jepsen and https://aphyr.com/tags/jepsen https://a

Jepson seems to do a lot of what you want in Bender: https://github.com/aphyr/jepsen https://github.com/aphyr/jepsen and https://aphyr.com/tags/jepsen https://aphyr.com/tags/jepsen