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

Job	Run time
Check prover and winterfell packages	1m 2s
Check all features and all targets against the MSRV, except for winter-prover and winterfell	1m 43s
Light checks	36s
Build for no-std (stable)	31s
Build for no-std (nightly)	40s
Test Rust stable on	1m 8s
Test Rust nightly on	1m 9s
	6m 49s

Provide feedback