Does `SandboxMemoryManager` still need `mapped_rgns` member

[simongdavies]

is this used for anything or can we get rid of it?

Originally posted by @ludfjig in #1296 (comment)