A solution to avoid using .set() function by replacing IndexMut with index_set #6481

Job	Run time
smoke-test-and-release-linux	6m 11s
smoke-test-and-release-macos-x86	9m 40s
smoke-test-and-release-windows	8m 52s
fmt	1m 0s
test-and-release-macos	3m 5s
test-and-release-macos (record-history)	1s
test-and-release-macos (no-std)	43s
test-and-release-macos (no-alloc)	2m 49s
test-and-release-macos (singular)	1s
test-and-release-macos (cvc5)	2m 17s
release	0s
	34m 39s

Provide feedback