Cppcheck 2.8 removed the dependency on z3 #1480

Job	Run time
cppcheck	1m 37s
min features with gcc	1m 8s
min features with g++	1m 38s
min features with clang	1m 54s
max features with gcc	2m 44s
max features with g++	3m 13s
max features with clang	3m 28s
max features with gcc and DEBUG	1m 29s
max features with gcc for 32-bit arch (legacy OS)	2m 18s
max features with g++ for 32-bit arch (legacy OS)	2m 33s
max features with clang for 32-bit arch (legacy OS)	2m 30s
code formatting check	23s
	24m 55s

Provide feedback