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