Bump CBMC version to 5.95.1

[tautschnig]

Description

This will make proofs use the latest stable release of CBMC (and cbmc-viewer).

Test Steps

Tested in CI

Checklist:

• I have tested my changes. No regression in existing tests.
• I have modified and/or added unit-tests to cover the code changes in this Pull Request.

Related Issue

n/a

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 96.66%. Comparing base (e0cd4db) to head (b69df51).
Report is 8 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #197      +/-   ##
==========================================
+ Coverage   94.02%   96.66%   +2.64%     
==========================================
  Files           3        3              
  Lines        1690     1680      -10     
  Branches      442      443       +1     
==========================================
+ Hits         1589     1624      +35     
+ Misses         17        0      -17     
+ Partials       84       56      -28     

Flag	Coverage Δ
unit_tests	96.66% <ø> (+2.64%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[shubnil]

Please fix the failing CBMC check

[tautschnig]

I believe the attempt to verify C_CreateObject is now running out of memory. I'll bisect locally to see which CBMC change is causing this.

[tautschnig]

Closing in favour of #200.