Test #9262 in th/T9262, and update other tests.
Bring unbound tyvars into scope during reifyInstances.

Fix #9262.
Test #8953 in th/T8953
Always use KindedTV when reifying. (#8953)
Annotate reified poly-kinded tycons when necessary. (#8953)
Annotate poly-kinded type patterns in instance reification.

This should fix #8953.
Testsuite wibbles from fixing #8953
Test #9084 in th/T9084.

The patch includes errors for a whole host of pragmas. But, these
are generated one at a time, and it doesn't seem like a good idea
to add gobs of test-cases here.
Fix #9084 by calling notHandled when unknown bits are enountered.
Fix testsuite output from #9084.
Test #9738 in th/T9738
Fix #9738, by handling {-# ANN ... #-} in DsMeta.