zkSync: Missing range constraint on remainder check in `div` opcode implementation

zkSync Era's zkEVM circuit enforces the invariant that a division remainder is smaller than its divisor by subtracting the divisor from the remainder and asserting a borrow flag. The subtraction output's limbs are never range-constrained, so a prover can injec …