build up a leader state and add invariants to system test