What should we add?

A user might set up BoxOps as "scaffolding" to organize some circuit manipulations, then want to get rid of the boxes.

Can we have (or is there already) a transpiler pass that replaces each BoxOp by its body? This could have an option to either act recursively to unpack all (potentially-nested?) boxes, or to just unpack the top-level of boxes.