Merge branch 'main' of https://github.com/model-checking/kani into up… #480

Job	Run time
benchcomp-tests	5m 31s
perf	28m 52s
regression (macos-13)	27m 15s
regression (ubuntu-20.04)	22m 2s
write-json-symtab-regression	13m 4s
regression (ubuntu-22.04)	23m 0s
regression (macos-14)	15m 46s
documentation	2m 1s
	2h 17m 31s

Provide feedback