WIP Improve locality in the GC by prioritising the gray queue.

The overhead of splitting the queue into high-priority and low-priority
sections is about 8% on binarytrees.