All Lift memory containers and pointers use 32-bit addresses by default. We should add "large" versions of the same containers to perform 64-bit arithmetic instead.
Note that this implies modifying certain return types. E.g., a large_allocation + offset must yield a large_pointer, not a 32-bit pointer as it does today.