Spoon and Nullable

Currently, spoon has non `@Nullable` annotation and we only document nullablility in the Javadoc. Why don't we adopt https://jspecify.dev/docs/start-here and migrate over the time to an annotated library? An alternative is `@Contract` from JB, but these are only supported in IJ and are way harder to write.