JSpecify: restrict instantiation type on constructors like `AtomicReference`

[msridhar]

See typetools/checker-framework#1330 and https://github.com/jspecify/jspecify/wiki/nullness-borderline-cases#the-atomicreference-case. For AtomicReference, we could report an error if the zero-arg constructor is invoked to create an AtomicReference<@NonNull C> for any C (as a follow-on to #1298). There are other scenarios like this, e.g., TreeSet and also ThreadLocal. It'd be nice to have a general way to do this, maybe even supported by an annotation.