Aggregate PriorityMux and Mux1H Seq size errors (#4609) #3184

Job	Run time
ci (ubuntu-22.04, 8, 2.13.15, 2.4, 7.0) / Integration Tests	13m 10s
ci (ubuntu-22.04, 8, 2.13.15, 2.4, 7.0) / Formatting	1m 33s
ci (ubuntu-22.04, 8, 2.13.15, 2.4, 7.0) / ci	22m 9s
ci (ubuntu-22.04, 8, 2.13.15, 2.4, 7.0) / Benchmarking Sanity Check	2m 40s
ci (ubuntu-22.04, 8, 2.13.15, 2.4, 7.0) / compile project with mill	5m 57s
ci (ubuntu-22.04, 8, 2.13.15, 2.4, 7.0) / Standard Library (2.13.15)	4m 44s
ci (ubuntu-22.04, 8, 2.13.15, 2.4, 7.0) / Build Mdoc & Website	6m 59s
ci (ubuntu-22.04, 8, 2.13.15, 2.4, 7.0) / Test Scala-CLI Example / Build and Test	2m 53s
check tests	1s
all tests passed	1s
publish	8m 52s
Deploy Website	11s
	1h 9m 10s

Provide feedback