Simulate solving a circuit symbolically
Instead of evaluating witness values from the inputs, like the PWG module is doing,
this pass simply marks the witness that can be evaluated, from the known inputs,
and incrementally from the previously marked witnesses.
This avoids any computation on a big field which makes the process efficient.
When all the witness of an opcode are marked as solvable, it means that the
opcode is solvable.