benchmarks run

[florisdenhengst]

we can manually check for regressions wrt the benchmarks for now.
Later we can think about whether automated benchmark regression checks are desirable and how to implement.