Add --log smt-transcript option #6081

Job	Run time
smoke-test-and-release-linux	6m 46s
smoke-test-and-release-macos-x86	12m 20s
smoke-test-and-release-windows	9m 0s
fmt	1m 17s
test-and-release-macos	11m 36s
test-and-release-macos (record-history)	2m 59s
test-and-release-macos (no-std)	3m 31s
test-and-release-macos (no-alloc)	2m 35s
test-and-release-macos (singular)	4m 10s
test-and-release-macos (cvc5)	2m 18s
release	0s
	56m 32s

Provide feedback