Changes required due to:
- rust-lang/rust@a325bce3cd Normalize the result of Fields::ty_with_args

Resolves: #3125, #3113

In the previous PR #3085, we did not support checks for `write_bytes`
which is added in this PR.

I am waiting for #3092 to add expected tests.

Upon pushing a release tag, we use the numeric version instead of
"latest", which made `kani-latest` a non-existent folder. See
https://github.com/model-checking/kani/actions/runs/8574249138 for such
an example. Use the `version` variable instead, which will be set to
"latest" or the numeric version as appropriate.

Dependency upgrade resulting from `cargo update`.

Bumps [tests/perf/s2n-quic](https://github.com/aws/s2n-quic) from
`2d5e891` to `1130df6`.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/aws/s2n-quic/commit/1130df6d2c45e0b5345dbcd2b1a6ea2663dac143"><code>1130df6</code></a>
chore: release 1.35.1 (<a
href="https://redirect.github.com/aws/s2n-quic/issues/2175">#2175</a>)</li>
<li><a
href="https://github.com/aws/s2n-quic/commit/5afe1e1762a036720c805d37b5d79908ec3681d7"><code>5afe1e1</code></a>
fix(s2n-quic-rustls): mark re-exported types as deprecated (<a
href="https://redirect.github.com/aws/s2n-quic/issues/2176">#2176</a>)</li>
<li><a
href="https://github.com/aws/s2n-quic/commit/343fa0d3bb543120e8d6714974569755f9e5707e"><code>343fa0d</code></a>
Revert &quot;feat(s2n-quic-rustls): update rustls from 0.21 to 0.23 (<a
href="https://redirect.github.com/aws/s2n-quic/issues/2143">#2143</a>)&quot;
(<a
href="https://redirect.github.com/aws/s2n-quic/issues/2174">#2174</a>)</li>
<li><a
href="https://github.com/aws/s2n-quic/commit/52ec5a2b4ace813baeb66c5c59b8d42b9ff2efd5"><code>52ec5a2</code></a>
chore(s2n-quic): release 1.35.0 (<a
href="https://redirect.github.com/aws/s2n-quic/issues/2171">#2171</a>)</li>
<li><a
href="https://github.com/aws/s2n-quic/commit/b0fd18a250df1dff72bc4c4e6eb4f1ce179eb133"><code>b0fd18a</code></a>
ci: update quic-interop-runner pinned commit (<a
href="https://redirect.github.com/aws/s2n-quic/issues/2172">#2172</a>)</li>
<li><a
href="https://github.com/aws/s2n-quic/commit/527c88fd05f2f357b22121e832fed0ef21978207"><code>527c88f</code></a>
feat(s2n-quic-core): allow configuration of initial MTU and base MTU (<a
href="https://redirect.github.com/aws/s2n-quic/issues/2162">#2162</a>)</li>
<li>See full diff in <a
href="https://github.com/aws/s2n-quic/compare/2d5e891f3fdc8a88b2d457baceedea5751efaa0d...1130df6d2c45e0b5345dbcd2b1a6ea2663dac143">compare
view</a></li>
</ul>
</details>
<br />


Dependabot will resolve any conflicts with this PR as long as you don't
alter it yourself. You can also trigger a rebase manually by commenting
`@dependabot rebase`.

[//]: # (dependabot-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits
that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after
your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge
and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating
it. You can achieve the same result by closing it manually
- `@dependabot show <dependency name> ignore conditions` will show all
of the ignore conditions of the specified dependency
- `@dependabot ignore this major version` will close this PR and stop
Dependabot creating any more for this major version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop
Dependabot creating any more for this minor version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop
Dependabot creating any more for this dependency (unless you reopen the
PR or upgrade to it yourself)


</details>

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

mdbook-graphviz has released 0.1.7, which has updated dependencies.

Resolves: #3005

A function-local variable cannot at the same time be a parameter. Alas,
all uses of gen_stack_variable passed in `false` for `is_param`, so this
wasn't making a difference anyway.

Related changes:
  - rust-lang/rust#118310:
    Add `Ord::cmp` for primitives as a `BinOp` in MIR
  - rust-lang/rust#120131:
    Add support to `Pat` pattern type
  - rust-lang/rust#122935:
    Rename CastKind::PointerWithExposedProvenance
  - rust-lang/rust#123097:
    Adapt to changes to local_def_path_hash_to_def_id

Resolves #3130, #3142

It's "env" and not "evn".

Prior to this commit, errors thrown when evaluating the text of a
benchcomp extra column would crash benchcomp. This could happen, for
example, if a column tries to compare an old variant with a new one, but
no data for the old variant exists, as seen in this run:

https://github.com/model-checking/kani/actions/runs/8700040930/job/23859607740

Forcing the user to do error handling in the column text would make the
text even more unwieldy than it already is, so this commit makes the
column text evaluate to **<ERROR>** if an exception is raised during
evaluation.

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

Release notes are the following:

### Major Changes
* Fix compilation issue with proc_macro2  (v1.0.80+) and Kani v0.49.0
(#3138).

### What's Changed
* Implement valid value check for `write_bytes` by @celinval in
#3108
* Rust toolchain upgraded to 2024-04-15 by @tautschnig @celinval

**Full Changelog**:
kani-0.49.0...kani-0.50.0