Fix Translator relations

[Rumata888]

Since we are not going to be doing degree checks on translator polynomials in the mini circuit, we have to add relations ensuring range constraint wires are zeroed out outside of the mini circuit (should be 64 2-degree equations which can be skipped almost all the time)