Add unchecked/SIMD bitshift checks and disable CBMC flag #5040

Job	Run time
benchcomp-tests	6m 35s
regression (macos-11)	33m 32s
regression (ubuntu-20.04)	34m 41s
regression (ubuntu-22.04)	28m 9s
perf	38m 43s
bookrunner	32m 34s
releasebundle-macos (macos-11)	12m 13s
releasebundle-ubuntu	36m 59s
write-json-symtab-regression	27m 58s
	4h 11m 24s

Provide feedback