> Swapping that will require a lot of time and testing.

Lucky them, there is an automated suite[1] to verify the correct behavior :-D

1: https://github.com/jepsen-io/rds