Also, generalize the leader_schedule functions a bit to allow for prev_slot_leader and next_slot_leader, should they be needed.
Also, generalize the leader_schedule functions a bit to allow for prev_slot_leader and next_slot_leader, should they be needed.