Fix how we handle public inputs in Tube circuit

[lucasxia01]

We currently just add some (correct amount of) public inputs as new variables to the builder when constructing the Tube circuit. However, we need to set witnesses (from the folding proof) to be public inputs instead.