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

Job	Run time
fmt	1m 2s
smoke-test-and-release-windows	8m 49s
test-and-release-macos	27m 58s
test-and-release-macos (no-alloc)	3m 47s
test-and-release-macos (no-std)	4m 36s
test-and-release-macos (record-history)	4m 24s
test-and-release-macos (singular)	5m 23s
smoke-test-and-release-linux	7m 31s
smoke-test-and-release-macos-x86	13m 45s
test-and-release-macos (cvc5)	4m 33s
docs	3m 14s
release	0s
	1h 25m 2s

Provide feedback