It seems that the current circuit does not properly constrain the proof because assert does not actually add a constraint to the proof. You can find more details in this article: Circom Assertions: Misconceptions and Deceptions.

• example

	component validOp = LessThan(252);
	validOp.in[0] <== op;
	validOp.in[1] <== 6;
        assert(validOp.out)

To fix this issue, I suggest replacing assert with === operator.

Thank you again for your work, and I hope this helps improve the circuit!