Add Checker Framework nullness checker

[emichael]

1. Add a GitHub action check that runs the nullness checker
2. Standardize on a set of null/notnull annotations to use, ban all uses of others with an automatic check

[mernst]

Let me know if you need any help with this.