Don't assume unboxed types are size one for -funbox-small-fields

When considering unpacking a type like T (# Int, Int #) we have to make sure the size of the rep of the field is actually small.

We used to only check the field is a single rep. Now we "look through" the tuple so to say instead.

Fixes #22309 (closed)