Add SMTLIB field-update support to AIR #6044

Job	Run time
smoke-test-and-release-macos-x86	10m 30s
smoke-test-and-release-windows	8m 10s
smoke-test-and-release-linux	6m 32s
fmt	56s
test-and-release-macos	10m 9s
test-and-release-macos (record-history)	3m 2s
test-and-release-macos (no-std)	2m 53s
test-and-release-macos (no-alloc)	2m 22s
test-and-release-macos (singular)	2m 49s
test-and-release-macos (cvc5)	2m 24s
release	0s
	49m 47s

Provide feedback