Seq_lib broadcasting (#1436) #6411

Job	Run time
smoke-test-and-release-windows	7m 17s
smoke-test-and-release-macos-x86	10m 35s
smoke-test-and-release-linux	6m 11s
fmt	1m 6s
test-and-release-macos	10m 46s
test-and-release-macos (record-history)	4m 31s
test-and-release-macos (no-std)	2m 39s
test-and-release-macos (no-alloc)	3m 26s
test-and-release-macos (singular)	4m 20s
test-and-release-macos (cvc5)	3m 12s
release	14s
	54m 17s

Provide feedback