[Enhancement]: migrate nullability annotations to jspecify

Module

Core

Proposal

Use jspecify for nullability annotations: https://jspecify.dev/docs/start-here/

Guava switched to jspecify for nullability annotations in 33.4.4:
https://github.com/google/guava/releases/tag/v33.4.4

Implementation note: it is recommended to go for "non-nullable by default", so in vast majority of the cases @NonNull annotation should not be used. @NonNull should be at the package level, and only @Nullable types should be annotated. It would reduce the amount of the noise in the code.

Inizia con il modulo Core e la documentazione JSpecify start-here collegata nell’issue, quindi esamina come vengono attualmente utilizzate le annotazioni di nullability. Usa Guava 33.4.4 come riferimento per l’approccio alla migrazione; il lavoro è completato quando Core utilizza per impostazione predefinita la non-nullability a livello di package e annota con JSpecify solo i tipi nullable.