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

Job	Run time
Light checks	32s
Check all features and all targets against the MSRV, except for winter-prover and winterfell	1m 43s
Check prover and winterfell packages	1m 0s
Build for no-std (stable)	32s
Build for no-std (nightly)	39s
Test Rust stable on	1m 10s
Test Rust nightly on	1m 12s
	6m 48s

Provide feedback