Merge remote-tracking branch 'origin/main' into cbmc-viewer-3.9 #370

Job	Run time
documentation	2m 16s
benchcomp-tests	5m 32s
regression (macos-13)	30m 15s
perf	32m 27s
regression (ubuntu-20.04)	24m 6s
write-json-symtab-regression	14m 55s
regression (ubuntu-22.04)	23m 30s
regression (macos-14)	21m 56s
	2h 34m 57s

Provide feedback