get_impl_paths more exhaustive checks #6107

Job	Run time
fmt	59s
smoke-test-and-release-linux	6m 14s
smoke-test-and-release-macos-x86	19m 1s
smoke-test-and-release-windows	7m 42s
test-and-release-macos	11m 30s
test-and-release-macos (record-history)	2m 58s
test-and-release-macos (no-std)	2m 27s
test-and-release-macos (no-alloc)	2m 22s
test-and-release-macos (singular)	2m 53s
test-and-release-macos (cvc5)	2m 51s
release	0s
	58m 57s

Provide feedback