- Since we now no longer need to create unique names, the counter and assosciated methods are no longer needed.

- We now are able to reduce the representation of witnesses in the evaluator to a u32. This is inline with ACIR whose witness type is also just a u32.