consolidate external code (attempt 2) #6358

Job	Run time
fmt	58s
smoke-test-and-release-linux	6m 39s
smoke-test-and-release-windows	8m 47s
smoke-test-and-release-macos-x86	12m 2s
test-and-release-macos	12m 57s
test-and-release-macos (record-history)	3m 43s
test-and-release-macos (no-std)	3m 3s
test-and-release-macos (no-alloc)	2m 23s
test-and-release-macos (singular)	3m 40s
test-and-release-macos (cvc5)	2m 20s
release	0s
	56m 32s

Provide feedback