SI-6541 valid wildcard existentials for case-module-unapply

Instead of letting the compiler infer the return type of case module
unapply methods, provide them explicitly.
I can't see a way that enabling this under `-Xsource:2.12` would lead to breakage under separate compilation with different flags. The type of the `unapply` is computed once and stored in the pickle.