A bit of a Frankenstein now, but it drops memory dramatically.

Now we build up new nodes into a list, and cache them as tuples.
If we end up computing the frozenset() for a node, we then cache it
as such.
Memory consumption is now only 101MB, though processing time is 53s.