Use CBMC version 5.95.1 (#1124)

The upcoming CBMC version 6 release includes changes that may affect existing proofs. This PR will make sure that aws-c-common PRs are not negatively impacted by this release. After releasing CBMC version 6 we will issue a follow-up PR that will return aws-c-common to using CBMC's latest release, and will include any changes to proofs that may be necessary to support the new version.

Author: tautschnig

.github/workflows/proof_ci_resources/config.yaml

@@ -1,5 +1,5 @@
 cadical-tag: latest
-cbmc-version: latest
+cbmc-version: "5.95.1"
 cbmc-viewer-version: latest
 kissat-tag: latest
 litani-version: latest