add some Rust benchmarks

[redianthus]

We could start by what is used by Rusteria, that is:

• the Miri testsuite
• the regression testsuite from Kani
• finetime
• some stdlib test that were handwritten by @N1ark