Nullability analysis and linting

[ascopes]

This issue is to do some research into any Maven plugins or annotation processors that can perform nullability analysis based on JSpecify @Nullable annotations, and to then add that to this project.