Add proof verification on the `RPC` and `Block Producer` #251

Job	Run time
rustfmt nightly on ubuntu	20s
clippy nightly on ubuntu	1m 22s
test stable on ubuntu with --all-features --workspace	2m 15s
docs stable on ubuntu with --all-features --release	2m 14s
	6m 11s

Provide feedback