Public inputs correctness in base rollup circuit

[ledwards2225]

The base rollup circuit needs to perform some checks on the public inputs of the tail private kernel. With the Honk integration / introduction of the Tube circuit, the public inputs connection was broken. What needs to happen is roughly the following:

• a ClientIvc Proof contains a FoldProof which contains the explicit public inputs of the final circuit in the IVC (kernel tail or whatever)
• These public inputs are extracted in the ProtoGalaxyRecursiveVerifier (part of the ClientIvc recursive verifier, aka the tube) where they become private witnesses by default
• These witnesses must be explicitly converted to public inputs in that circuit (e.g. builder->set_public_input(pub_input.get_witness_index()) )
• This will result in those public inputs being explicitly added to the Tube circuit proof which gets sent to the base rollup circuit
• The base rollup circuit extracts the public inputs from the proof and uses them for Azteky checks as needed

[ledwards2225]

Mistakenly added here. Replaced by bberg issue