Bump Kani version to 0.56.0

[celinval]

Bump our crates version and exclude charon from our workspace (otherwise building the workspace wouldn't work). See my comment for the original notes.

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

[celinval]

Auto generated notes:

What's Changed

• RFC: Loop Contracts by @qinheping in RFC: Loop Contracts #3167
• Automatic toolchain upgrade to nightly-2024-09-04 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-04 #3488
• Replace proc-macro-error with proc-macro-error2 by @zhassan-aws in Replace proc-macro-error with proc-macro-error2 #3493
• Automatic toolchain upgrade to nightly-2024-09-05 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-05 #3500
• Fix cmake configuration for perf job by @zhassan-aws in Fix cmake configuration for perf job #3499
• List RFC revisions by @carolynzech in List RFC revisions #3490
• Enable stubbing and function contracts for primitive types by @celinval in Enable stubbing and function contracts for primitive types #3496
• Automatic toolchain upgrade to nightly-2024-09-06 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-06 #3502
• Fix iss3495 by @zhassan-aws in Fix iss3495 #3501
• Upgrade toolchain to 2024-09-07 by @zhassan-aws in Upgrade toolchain to 2024-09-07 #3504
• Automatic toolchain upgrade to nightly-2024-09-08 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-08 #3505
• Automatic cargo update to 2024-09-09 by @github-actions in Automatic cargo update to 2024-09-09 #3506
• Update features/verify-std branch by @carolynzech in Update features/verify-std branch #3508
• Bump tests/perf/s2n-quic from 1ff3a9c to d8be30e by @dependabot in Bump tests/perf/s2n-quic from 1ff3a9c to d8be30e #3509
• Reduce object-bits for test to avoid OOM by @zhassan-aws in Reduce object-bits for test to avoid OOM #3511
• Bump peter-evans/create-pull-request from 6 to 7 by @dependabot in Bump peter-evans/create-pull-request from 6 to 7 #3510
• Automatic cargo update to 2024-09-16 by @github-actions in Automatic cargo update to 2024-09-16 #3515
• Downgrade once_cell by @zhassan-aws in Downgrade once_cell #3517
• Bump tests/perf/s2n-quic from d8be30e to 132ba54 by @dependabot in Bump tests/perf/s2n-quic from d8be30e to 132ba54 #3516
• Upgrade toolchain to 2024-09-09 by @qinheping in Upgrade toolchain to 2024-09-09 #3518
• Automatic toolchain upgrade to nightly-2024-09-10 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-10 #3519
• Automatic toolchain upgrade to nightly-2024-09-11 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-11 #3520
• Instrument validity checks for pointer to reference casts for slices and str's by @zhassan-aws in Instrument validity checks for pointer to reference casts for slices and str's #3513
• Upgrade toolchain to 2024-09-12 by @qinheping in Upgrade toolchain to 2024-09-12 #3524
• Call check_proof_attribute for contract harnesses by @carolynzech in Call check_proof_attribute for contract harnesses #3522
• Add tests for issue 3009 by @carolynzech in Add tests for issue 3009 #3526
• Fix storing coverage data in cargo projects by @adpaco-aws in Fix storing coverage data in cargo projects #3527
• Upgrade toolchain to 2024-09-14 by @qinheping in Upgrade toolchain to 2024-09-14 #3529
• Upgrade toolchain to 2024-09-15 by @qinheping in Upgrade toolchain to 2024-09-15 #3531
• Automatic toolchain upgrade to nightly-2024-09-16 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-16 #3532
• Automatic toolchain upgrade to nightly-2024-09-17 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-17 #3533
• Automatic cargo update to 2024-09-23 by @github-actions in Automatic cargo update to 2024-09-23 #3535
• Append harness name to the graph file (debug feature only) by @celinval in Append harness name to the graph file (debug feature only) #3528
• Update to CBMC 6.3.1 and fix auto-update script by @tautschnig in Update to CBMC 6.3.1 and fix auto-update script #3537
• Bump tests/perf/s2n-quic from 132ba54 to a88ae41 by @dependabot in Bump tests/perf/s2n-quic from 132ba54 to a88ae41 #3540
• Update toolchain to 2024-09-20 by @tautschnig in Update toolchain to 2024-09-20 #3539
• Update toolchain to 2024-09-23 by @tautschnig in Update toolchain to 2024-09-23 #3544
• Revert Update toolchain to 2024-09-20 #3539 and reuse rust backend infrastructure instead by @celinval in Revert #3539 and reuse rust backend infrastructure instead #3545
• Automatic toolchain upgrade to nightly-2024-09-25 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-25 #3547
• Update toolchain to 2024-09-26 by @tautschnig in Update toolchain to 2024-09-26 #3549
• Automatic toolchain upgrade to nightly-2024-09-27 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-27 #3550
• Automatic toolchain upgrade to nightly-2024-09-28 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-28 #3552
• Automatic toolchain upgrade to nightly-2024-09-29 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-29 #3553
• Automatic cargo update to 2024-09-30 by @github-actions in Automatic cargo update to 2024-09-30 #3555
• Automatic toolchain upgrade to nightly-2024-09-30 by @github-actions in Automatic toolchain upgrade to nightly-2024-09-30 #3554
• Bump tests/perf/s2n-quic from a88ae41 to 2a735a9 by @dependabot in Bump tests/perf/s2n-quic from a88ae41 to 2a735a9 #3556
• Automatic toolchain upgrade to nightly-2024-10-01 by @github-actions in Automatic toolchain upgrade to nightly-2024-10-01 #3558
• Automatic toolchain upgrade to nightly-2024-10-02 by @github-actions in Automatic toolchain upgrade to nightly-2024-10-02 #3562
• Remove obsolete linker options by @zhassan-aws in Remove obsolete linker options #3559
• Enable doctests to avoid coding mistakes in our API documentation by @celinval in Enable doctests to avoid coding mistakes in our API documentation #3557
• Automatic toolchain upgrade to nightly-2024-10-03 by @github-actions in Automatic toolchain upgrade to nightly-2024-10-03 #3564
• Add experimental API to generate arbitrary pointers by @celinval in Add experimental API to generate arbitrary pointers #3538
• Automatic cargo update to 2024-10-07 by @github-actions in Automatic cargo update to 2024-10-07 #3572
• Bump tests/perf/s2n-quic from 2a735a9 to 17171ec by @dependabot in Bump tests/perf/s2n-quic from 2a735a9 to 17171ec #3573
• Fix issue when linking rlib + another library type by @celinval in Fix issue when linking rlib + another library type #3576
• Running verify-std no longer changes Cargo files by @celinval in Running verify-std no longer changes Cargo files #3577
• Add an LLBC backend by @zhassan-aws in Add an LLBC backend #3514

Full Changelog: kani-0.55.0...kani-0.56.0