Update CBMC proof tooling to latest releases #2482

Job	Run time
linux-compat (manylinux1-x64)	1m 21s
linux-compat (manylinux1-x86)	1m 14s
clang-sanitizers (,thread)	2m 29s
linux-compiler-compat (clang-3)	1m 55s
downstream	44m 23s
linux-compat (manylinux2014-x64)	1m 31s
clang-sanitizers (,address,undefined)	2m 10s
linux-compiler-compat (clang-6)	5m 59s
linux-compat (manylinux2014-x86)	1m 28s
linux-compiler-compat (clang-8)	7m 5s
linux-compat (raspbian-bullseye)	6m 47s
linux-compiler-compat (clang-9)	6m 23s
linux-compat (fedora-34-x64)	1m 21s
linux-no-cpu-extensions	1m 43s
linux-shared-libs	1m 46s
linux-compiler-compat (clang-10)	1m 52s
linux-compiler-compat (clang-11)	1m 55s
linux-compat (opensuse-leap)	1m 27s
linux-compiler-compat (gcc-4.8)	1m 16s
windows	2m 43s
linux-compat (rhel8-x64)	1m 23s
windows-vc15 (x86)	2m 51s
linux-compiler-compat (gcc-5)	1m 37s
linux-compat (al2-x64)	1m 15s
linux-compiler-compat (gcc-6)	1m 42s
windows-vc15 (x64)	1m 57s
linux-compiler-compat (gcc-7)	1m 56s
windows-vc16 (x86)	2m 52s
linux-compiler-compat (gcc-8)	1m 50s
windows-vc16 (x64)	2m 49s
freebsd	9m 38s
macos	1m 42s
linux-compiler-compat (gcc-11)	1m 51s
macos-no-cpu-extensions	1m 30s
macos-x64	2m 35s
openbsd	12m 8s
windows-app-verifier	23m 6s
windows-no-cpu-extensions	2m 20s
windows-shared-libs	2m 34s
windows-vc14 (x86)	2m 11s
windows-vc14 (x64)	2m 11s
Cross Compile linux-armv6	2m 2s
linux-debug	1m 30s
Cross Compile linux-armv7	1m 57s
macos-debug	1m 19s
Cross Compile linux-arm64	2m 9s
windows-debug	2m 27s
Cross Compile android-armv7	2m 9s
	3h 12m 19s

Provide feedback