Lucky them, there is an automated suite[1] to verify the correct behavior :-D
1: https://github.com/jepsen-io/rds