New OID traversal algorithm that shrinks the memory footprint during garbage collection.

The previous algorithm, when analyzing 14 million objects, would build an
IISet for each object.  If each IISet consumes 200 bytes, that's at least 2.8 GB.
The new algorithm builds arrays of integers and has a reasonable chance of performing
the same task while consuming only 250 MB.