[GVN] Refactor the LeaderTable structure into a properly encapsulated data structure (#88347)

Hide the details of the one-off linked list used to implement the leader
lists by
wrapping them in iterators, and then use that to reimplement a number of
traversals
using standard algorithms and range-based for-loops.

No functional change intended.