Maintain test execution performance with newer CaDiCaL versions #7488

Job	Run time
benchcomp-tests	4m 32s
regression (macos-13)	37m 47s
write-json-symtab-regression	14m 44s
regression (ubuntu-20.04)	23m 28s
documentation	1m 58s
regression (ubuntu-22.04)	24m 9s
regression (macos-14)	16m 56s
perf	33m 27s
	2h 37m 1s

Provide feedback