Update Cbmc version

[celinval]

Description of changes:

Update Kani to use CBMC 5.85.0

Resolved issues:

Resolves #ISSUE-NUMBER

Related RFC:

Optional #ISSUE-NUMBER.

Call-outs:

Testing:

• How is this change tested?

• Is this a refactor change?

Checklist

• Each commit message has a non-empty body, explaining why the change was made
• Methods or procedures are documented
• Regression or unit tests are included, or existing tests cover the modified code
• My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

[zhassan-aws]

Thanks. The CBMC homebrew package typically takes an extra day, so the macos regressions will fail till then.

Do you want to marks this as a resolver for #2457 (or at least say "Towards #2457")?

[celinval]

Thanks. The CBMC homebrew package typically takes an extra day, so the macos regressions will fail till then.

Do you want to marks this as a resolver for #2457 (or at least say "Towards #2457")?

Sure... have you tried running everything together? I can try on my side if you haven't.

[zhassan-aws]

Sure... have you tried running everything together? I can try on my side if you haven't.

I haven't.

[zhassan-aws]

Just tried this right now (upgrading to CBMC 5.85.0 and upgrading the toolchain to 2023-04-30), and I confirmed that the memory blow-up no longer occurs with the two btreeset perf tests, so #2457 can be marked fixed.