This version adds basic support for unnamed patterns (introduced in JDK
22) so NullAway no longer crashes on them.

Fixes #1168

Fixes #1184 

We forgot to add the standard check for unannotated code to
`matchSynchronized`

…ons (#1191)

Fixes #1188, exactly as suggested in that issue. This both simplifies
the code and fixes a false negative with `@Nullable` enclosing
expressions.

…1197)

Fixes #1194 

Previously we were sloppy about allowing a null `Handler` to be passed
into `CodeAnnotationInfo` and then caching the result. Here we change
the code to always pass a non-null `Handler` in to public APIs of
`CodeAnnotationInfo`, and we avoid caching if the handler is ever `null`
from an internal call.

Partially addresses #1199. After substituting for a type variable, we
were not retrieving the correct nullability for a varargs parameter,
which should be the nullability of the component, not the array type
itself.

Also adds some simplification of our handling of varargs calls based on
a tip from @jeffrey-easyesi

Small optimization over #1203; pre-compile the `Pattern` used for
matching.

Fixes #1206

Fixes #1195 

We adjust our method overriding checks for a method reference to a
`@NullUnmarked` method. Any overriding should be allowed, except in the
presence of a restrictive annotation (`@Nullable` on the return or
`@NonNull` on a parameter). Also add tests for `@NonNull` on the varargs
parameter.