Under-Constrained Problem in `IsNoneZero` Templates

[Koukyosyumei]

Both circuit.com and circuit1.circom are lack of enough constraints, resulting in under-constrained problems:

• circuit.com accepts the following malicious assignments:

║    🔍 Assignment Details:
║           ➡️ main.out = 2
║           ➡️ main.in = 21888242871839275222246405745257275088548364400416034343698204186575808495616
║           ➡️ main.inv = 21888242871839275222246405745257275088548364400416034343698204186575808495615

• circuit1.com accepts the following malicious assignments:

║    🔍 Assignment Details:
║           ➡️ main.in = 0
║           ➡️ main.out = 21888242871839275222246405745257275088548364400416034343698204186575808495616
║           ➡️ main.inv = 21888242871839275222246405745257275088548364400416034343698204186575808495616
║           ➡️ main.iszero.inv = 21888242871839275222246405745257275088548364400416034343698204186575808495616
║           ➡️ main.iszero.in = 0
║           ➡️ main.iszero.out = 1