Merge remote-tracking branch 'origin/main' into cbmc-6 #359

Job	Run time
documentation	1m 57s
regression (macos-13)	35m 25s
regression (ubuntu-20.04)	21m 53s
benchcomp-tests	4m 44s
regression (ubuntu-22.04)	26m 7s
perf	6h 0m 14s
write-json-symtab-regression	13m 50s
regression (macos-14)	16m 54s
	8h 1m 4s

Provide feedback