Succinct's mainnet Prover Network was left open to invalid proofs by an SP1 bug

A high-severity SP1 soundness bug left Succinct's mainnet Prover Network open to invalid proofs. Versions 6.0.0 through 6.8.0 are affected, and 6.8.1 fixes it.