chore(docs): Supplement docs on modexp as a required precompile for Barretenberg's Solidity verifier

chore(docs): Supplement docs on modexp as a required precompile for Barretenberg's Solidity verifier #3890