Regarding the GC not seeing a pointer if the top 16 bits are used, whats to stop us from changing the GC to (or adding an option to) ignore those bits when checking?
I imagine that it would cause a lot more false pointers, but when we get precise GC that problem would go away.
