fn max_witness<F: AcirField>(circuit: &Circuit<F>) -> Witness
Find the witness with the highest ID in the circuit.