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

Job	Run time
smoke-test-and-release-macos-x86	19m 57s
fmt	1m 9s
smoke-test-and-release-windows	9m 12s
test-and-release-macos (record-history)	5m 13s
test-and-release-macos (no-alloc)	3m 33s
test-and-release-macos (no-std)	3m 55s
smoke-test-and-release-linux	7m 33s
docs	3m 11s
test-and-release-macos	28m 13s
test-and-release-macos (cvc5)	4m 28s
test-and-release-macos (singular)	7m 6s
release	0s
	1h 33m 30s

Provide feedback