Upgrade toolchain to 2024-03-11

[zhassan-aws]

Relevant upstream changes:

rust-lang/rust#120675: An intrinsic Symbol is now wrapped in a IntrinsicDef struct, so the relevant part of the code needed to be updated.
rust-lang/rust#121464: The second argument of the create_wrapper_file function changed from a vector to a string.
rust-lang/rust#121662: NullOp::DebugAssertions was renamed to NullOp::UbCheck and it now has data (currently unused by Kani)
rust-lang/rust#121728: Introduces F16 and F128, so needed to add stubs for them
rust-lang/rust#121969: parse_sess was renamed to psess, so updated the relevant code.
rust-lang/rust#122059: The is_val_statically_known intrinsic is now used in some core::fmt code, so had to handle it in (codegen'ed to false).
rust-lang/rust#122233: This added a new retag_box_to_raw intrinsic. This is an operation that is primarily relevant for stacked borrows. For Kani, we just return the pointer.

Resolves #3057

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]

I ran the main test that has failed the performance regressions (s2n-quic/quic/s2n-quic-core/sync::spsc::tests::alloc_test) 3 times locally with and without the changes, and while there is some slowdown, it's within an acceptable percentage (~9%):
With the toolchain upgrade:

Verification Time: 70.934296s
Verification Time: 70.673645s
Verification Time: 70.516945s

Without the toolchain upgrade:

Verification Time: 64.85171s
Verification Time: 64.96482s
Verification Time: 65.115456s