Better benchmarking scripting and instructions #5
Description
The codebase is currently pretty sloppy about benchmarking on a wide range of configurations. To improve:
- We should add better scripting support, maybe fully in Rust, for the desired benchmarks
- We should make sure that the benchmarking results are robust (with sufficient iterations) -- unstable results confused students
- We should add better documentation regarding benchmarking utilities