improve PIOP implementation soundness via spongefish style alternative in plonky3

[hero78119]

With spongefish style, the proof could be a stream between prover & verifier, and it assure all information from prover and squeeze into Fiat-Shamir correctly

This avoid some issue like #648