Test

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

Job	Run time
check-deps	10m 45s
smir-check	4s
clippy-check	3m 39s
fmt-check	29s
quick-tests	6m 32s
purification-tests	6h 0m 16s
all-tests (ubuntu-latest)	30m 33s
release-build (ubuntu-latest)	7m 23s
all-tests (windows-latest)	40m 51s
test-crates (0)	1h 0m 37s
release-build (windows-latest)	12m 58s
all-tests (macos-latest)	46m 36s
test-crates (1)	32m 14s
test-on-prusti	0s
release-build (macos-latest)	16m 32s
test-crates (2)	38m 56s
test-crates (3)	42m 22s
can-merge	3s
	11h 50m 50s

Provide feedback