Version where leader is part of the state.
Issue is that we don't generate the same state with multiple possible leaders, and therefore if one queue expands a state with leader i, the "correct" queue is left with suboptimal states.
we look at whether we need to change the leader based on whether the previous leader would have generated the same position for the leader and the desired_leader.