Fix MultiWayIf linearity checking (#23814)

Linearity checking for MultiWayIf was not using sup, as described in #23814 (closed).

Now tcExpr (HsIf ...) and tcExpr (HsMultiWayIf ...) are more similar, although the reasoning is complex enough I added a Note.