Update Viper to v-2024-02-01-0836 #7337

Job	Run time
clippy-check	3m 34s
check-deps	10m 16s
quick-tests	6m 33s
fmt-check	20s
smir-check	3s
purification-tests	8m 52s
all-tests (ubuntu-latest)	54m 53s
test-crates (0)	59m 49s
all-tests (windows-latest)	1h 38m 35s
release-build (ubuntu-latest)	7m 5s
test-crates (1)	34m 15s
all-tests (macos-latest)	2h 13m 35s
release-build (windows-latest)	12m 53s
test-crates (2)	46m 38s
test-on-prusti	0s
release-build (macos-latest)	27m 0s
test-crates (3)	41m 58s
can-merge	4s
	9h 6m 23s

Provide feedback