Make GHCi properly tag nullary cons and uphold the strict field invariant.

We now run tag inference as part of the regular stg2stg pipeline which itself is always run when we generate code (bytecode or other code).

Fixes #22042 (closed) and #21083 (closed)