Targeted unit tests for known cases that break the existing protocol:

• Diverging configs (fixed by Config Replication)
  • In a 4 node set, test that a new reconfig is not allowed to succeed until a majority of the nodes have learned of the latest config.
  • Configs with lower terms should not propagate. Test nodes with a higher config term should not accept configs with a lower term.