Make `Prover` generic over the `ConstraintCommitment` type #1376

Job	Run time
Check prover and winterfell packages	1m 2s
Light checks	37s
Test Rust stable on	1m 17s
Check all features and all targets against the MSRV, except for winter-prover and winterfell	1m 36s
Test Rust nightly on	1m 11s
Build for no-std (stable)	34s
Build for no-std (nightly)	38s
	6m 55s

Provide feedback