Benchmark suite

[zoep]

It would be nice to

• Clean up the benchmarks directory
• Set up a nice benchmarking infrastructure
• Add more benchmarks

[spitters]

We have some benchmarks here:
https://github.com/womeier/certicoqwasm-testing