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

Job	Run time
Light checks	29s
Check all features and all targets against the MSRV, except for winter-prover and winterfell	1m 34s
Build for no-std (stable)	28s
Check prover and winterfell packages	59s
Build for no-std (nightly)	28s
Test Rust stable on	31s
Test Rust nightly on	41s
	5m 10s

Provide feedback