Introduce benchmarks that would allow us to compare with Risc0

[akashin]

Here is the list of Risc0 benchmarks: https://risc0.github.io/ghpages/dev/benchmarks/index.html