Opt-in warning for `UNION`s with only one piece

[Rangi42]

A new -Weverything-level warning (e.g. -Wsingle-union or -Wone-block-union) that detects UNIONs without any NEXTU blocks, which may be a mistake or redundant. (I'm requesting this after having real-world cases where it would be useful.)