We've recently added JSpecify annotations

Adding this issue to look into new JSpecify tooling that can run build-time null checks. We might need to do more work as well, as we don't yet have nullability annotations in all the places.