Add persistent (duplicable) variants of GhostSubmap/GhostSubset (#2019) #8095

Job	Run time
fmt	1m 29s
smoke-test-and-release-macos-x86	27m 41s
test-and-release-macos	37m 9s
test-and-release-macos (no-alloc)	3m 49s
test-and-release-macos (singular)	5m 21s
smoke-test-and-release-windows	9m 1s
test-and-release-macos (no-std)	3m 46s
test-and-release-macos (record-history)	6m 7s
test-and-release-macos (cvc5)	3m 36s
docs	3m 20s
smoke-test-and-release-linux	7m 22s
release	18s
	1h 48m 59s

Provide feedback