Add Language.Haskell.TH.Desugar.Context

This adds functions testContext and testInstances, for testing whether
the instances returned by qReifyInstances match all the superclasses
and equality predicates mentioned in the instance context.