Merge branch 'main' into fix-kissat-check #167

Job	Run time
benchcomp-tests	8m 11s
bookrunner	29m 35s
perf	39m 29s
regression (macos-11)	39m 8s
releasebundle-macos (macos-11)	9m 41s
regression (ubuntu-20.04)	32m 44s
releasebundle-ubuntu	31m 8s
regression (ubuntu-22.04)	32m 16s
write-json-symtab-regression	20m 22s
	4h 2m 34s

Provide feedback