Use the new update-field AIR support to simplify assignment though a path in AIR #6166

Job	Run time
smoke-test-and-release-macos-x86	14m 57s
smoke-test-and-release-linux	6m 40s
smoke-test-and-release-windows	9m 2s
fmt	1m 14s
test-and-release-macos	14m 40s
test-and-release-macos (record-history)	4m 27s
test-and-release-macos (no-std)	3m 39s
test-and-release-macos (no-alloc)	2m 22s
test-and-release-macos (singular)	4m 16s
test-and-release-macos (cvc5)	3m 10s
release	0s
	1h 4m 27s

Provide feedback