Remove historical Unique parameter from pushUntouchables
Move inert_insols into the InertCans record

We might want to rename the type, but inert_insols really belongs
with these other constraints.
Make kickOutRewritable kick out insolubles

It always used to do so, but I removed it because I didn't see
why. Now I unsderstand why, and wrote
     Note [Kick out insolubles]
When defaulting, check for *meta* tyvars

I'd forgotten that we can have runtime skolems
(TcTyVarDetails = RuntimeUnk), and we definitely
don't want to attempt to default them!
Some refactoring; removes simplifyCheck
Move ldInputs into DynFlags
Remove the unused opt_StubDeadValues
Make -fhistory-size dynamic
Remove -dstub-dead-values from flag list
Remove unused -dopt-fuel
Make -fhpc a dynamic flag
Narrow the args of the popCnt# primitives (new codegen)

(this change was previously done in the old codegen only)
Fix -split-objs with the new code generator

We need to make the SRT label external and unique when splitting,
because it is shared amongst all the functions in the module.  Also
some SRT-related cleanup.
Add "remote set-branches" support to sync-all
A further fix for -split-objs with the new codegen
remove $(GhcStage1DefaultNewCodegen) etc.
Fix #7215: we weren't calculating the hashes correctly for sub-binders
Moved solving of type families to zonkWC and a few simplifications
in TcSimplify. Now unflattening does not happen recursively inside
solveWanteds which should be a good performance win.
Fail nicely when encountering an invalid bang annotation (#7210)
Typo fix in deferred type errors docs.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>