This MR implements a global memory graph of memory mappings between address spaces. The graph can be traversed to get a translation from one (master) address space to another (slave) address space.
Currently incorporates !1 (merged), so !1 (merged) should be merged first and then this MR should be rebased (maybe Gitlab can do this automatically?).