GC: implemented QuickCheck magic to test GC of huge object trees