Translator constrains op queue to minicircuit size

[ledwards2225]

From Kesha: we need to ensure that the translator relations constrain the op queue columns to be zero beyond the minicircuit size.

(Also seems possible that this is implicitly accomplished through the merge protocol itself plus the merge-translator consistency checks).

[maramihali]

some useful details if we have to do it via relations: #1399