Move `TraceLde` constructor into `Prover` trait #839

Job	Run time
rustfmt	21s
Check with --all-features	51s
Test Rust stable on ubuntu	2m 11s
no-std (stable, wasm32-unknown-unknown)	38s
Check with --no-default-features	50s
Clippy	43s
Test Rust nightly on ubuntu	2m 11s
no-std (nightly, wasm32-unknown-unknown)	47s
	8m 32s

Provide feedback