use broadcast for map/set/multiset_properties #6422

Job	Run time
smoke-test-and-release-linux	6m 45s
fmt	58s
smoke-test-and-release-windows	8m 48s
smoke-test-and-release-macos-x86	11m 57s
test-and-release-macos	16m 36s
test-and-release-macos (record-history)	3m 58s
test-and-release-macos (no-std)	3m 14s
test-and-release-macos (no-alloc)	3m 24s
test-and-release-macos (singular)	3m 33s
test-and-release-macos (cvc5)	3m 13s
release	0s
	1h 2m 26s

Provide feedback