Boxity: Don't update Boxity unless worker/wrapper follows (#21754)
A small refactoring in our Core Opt pipeline and some new functions for
transfering argument boxities from one signature to another to facilitate
Note [Don't change boxity without worker/wrapper]
.
Fixes #21754 (closed).