@xiangli-cmu I'm a little worried about executing leader state outside of the `leaderLoop()` but I think this is fine right now.