returns a list of nodes from 0 to highestKnownOrdinal, randomly but deterministically sorted based on the id the list is stable even with changes to highestKnownOrdinal (in other words, changing highestKnownOrdinal will add/remove entries, but will never reorder them).