Release 3.34.0 of the Checker Framework

[Suzanne Millstein]

We have released a new version of the Checker Framework.
The Checker Framework lets you create and/or run pluggable type
checkers, in order to detect and prevent bugs in your code.

You can find documentation and download links at:
http://CheckerFramework.org/

Changes for Checker Framework version 3.34.0:

**User-visible changes:**

The Checker Framework runs under JDK 20 -- that is, it runs on a version 20 JVM.

Explicit lambda parameters are defaulted the same as method
parameters. For example, in `(String s) -> {...}` the type of `s` is
`@NonNull String`.

**Implementation details:**

Renamings in `AnnotatedTypeFactory`:
* `prepareCompilationUnitForWriting()` =>
`wpiPrepareCompilationUnitForWriting()`
* `prepareClassForWriting()` => `wpiPrepareClassForWriting()`
* `prepareMethodForWriting()` => `wpiPrepareMethodForWriting()` and
changed its signature by adding two formal parameters

**Closed issues:**
#803, #5739, #5749, #5767, #5781, #5787.