~james/split

ref: 7a0a28f1bfe33988574bcfd2cea36ee0c2db38aa split/Reuse.thy -rw-r--r-- 10.0 KiB 
feat(reuse): preserve zeroed unmapped frames across pool operations