Examples should be verified using the CLI

After https://github.com/0xPolygonMiden/examples/pull/33 is merged, we will have a CLI to run examples.

It would be nice also to have the benchmark verify the correctness of the result. The simplest way to do it would be to include the expected result for a given example in the example directory. This would, however, mean that adjusting example parameters would be difficult. We could also include a small Rust file with each example which could output the expected result for a given set of parameters - but this might be something we do later.

This originates from https://github.com/0xPolygonMiden/examples/issues/9

Look at the CLI tool introduced in PR #33 to understand how examples are run. Each example directory may need an expected result file or a small Rust verification script. Start by examining an existing example's structure and the CLI's verification command. 'Done' means the CLI can verify each example's output against an expected result.

索引モデルが issue の本文から書いたものです。