Fix omitted FromJSON OpKindTag cases.

This adds coverage for pattern matches that were missing in the FromJSON (Some OpKindTag) instance. Also added a unit test to catch any regressions for this fix. That required a bit of work to write and/or derive some instances for GADT constraints classes like ArgDict, GEq, and GShow which we weren't really worrying about before, but it turned out fine.