Some work in the heap.
Currently not all tests pass, there is the issue of TopStack() returning a LoadInstr, which is unique so it can't be used as the key to the _heapRelations map.