Nuplompiler: remove unneeded bool constraints

We can safely assume that the input wires to a boolean gate are valid bools, as:

• Top-level inputs are checked and,
• Boolean operations can only output boolean values.