Add proper support for wildcards to JSpecify mode

[msridhar]

As our inference has improved, we're seeing an increased need to properly support wildcards. Related to #1350, but this issue is about full wildcard support.