chore(docs): Add link to more info about proving backend to Solidity verifier page #13501

Job	Run time
build-nargo	2m 42s
build-acvm-js	1m 17s
build-noirc-abi	1m 32s
build-noir-wasm	4m 34s
ACVM JS (Node.js)	38s
ACVM JS (Browser)	1m 42s
noirc_abi	1m 36s
noir_codegen	1m 9s
Example scripts	20s
Noir JS	1m 17s
Check external repo - ${{ matrix.project.repo }}	0s
Integration Tests (Browser)	2m 19s
Integration Tests (Node)	2m 26s
noir_wasm	2m 23s
End	1s
	23m 56s

Provide feedback