Rewrite record updates to record constructors #7651

Job	Run time
lint-build	1m 4s
test-wasm	1m 10s
test (stable, x86_64-unknown-linux-gnu)	3m 45s
rustfmt	8s
test (stable, x86_64-unknown-linux-musl)	6m 5s
validate	12s
test (stable, aarch64-unknown-linux-gnu)	2m 13s
test (stable, aarch64-unknown-linux-musl)	2m 42s
test (stable, x86_64-apple-darwin)	13m 51s
test (stable, x86_64-pc-windows-msvc)	7m 22s
test (stable, aarch64-apple-darwin, macos-latest, false, true)	3m 30s
test-projects	1m 37s
	43m 39s

Provide feedback