use broadcast for map/set/multiset_properties #6413

Job	Run time
smoke-test-and-release-linux	6m 38s
smoke-test-and-release-macos-x86	9m 26s
fmt	1m 9s
smoke-test-and-release-windows	8m 33s
test-and-release-macos	12m 3s
test-and-release-macos (record-history)	3m 56s
test-and-release-macos (no-std)	2m 45s
test-and-release-macos (no-alloc)	3m 8s
test-and-release-macos (singular)	3m 30s
test-and-release-macos (cvc5)	2m 17s
release	0s
	53m 25s

Provide feedback