docs: explain how to pin versions of SP1 and Risc0

[JuArce]

Description

In Submitting proofs -> Risc0 proof, we have the following explanation

NOTE: As said above, Aligned currently supports Risc0 proofs from risc0-zkvm version v1.0.1. For generating proofs using cargo risc-zero please ensure you are using v1.0.1 or your proof will not be verified.

If you can't install cargo-risczero v1.0.1, you can manually modify your cargo.toml on the host project to point to v1.0.1:

Copy
risc0-zkvm = { git = "https://github.com/risc0/risc0", tag = "v1.0.1", default-features = false, features = [
    "prove",
] }

Move this to Supported verifiers section and refer this from other sections

Also, do the same for SP1