checkInvariants

Assert election safety (at most one leader at a time) and state-machine safety (no two nodes committed different commands at the same log index up to the minimum known commit).