Avoid calling the packing functions for batches of 1 proof
Maybe this could be handled directly in plonk/pack.ml (do nothing when the length of the committed vector is 1). (The prover infers the length form the witness vector.) (The verifier will take such length as input.)