Add Diagram to Verifiable Computing Docs

[DeveloperAlly]

Add diagram of our overall approach to verifiable computing

To match "Our Approach heading" and "We opt for verification-via-replication as a first approach,"