Add persistent (duplicable) variants of GhostSubmap/GhostSubset #8087

Job	Run time
smoke-test-and-release-macos-x86	21m 48s
docs	3m 54s
fmt	1m 6s
smoke-test-and-release-linux	7m 41s
smoke-test-and-release-windows	8m 39s
test-and-release-macos (cvc5)	5m 19s
test-and-release-macos	28m 16s
test-and-release-macos (no-std)	3m 38s
test-and-release-macos (singular)	4m 23s
test-and-release-macos (record-history)	5m 1s
test-and-release-macos (no-alloc)	4m 28s
release	0s
	1h 34m 13s

Provide feedback