Add a compile time benchmark

[bernhardmgruber]

This adds a small benchmark with configureable record dimension size, so we can benchmark the impact of record dimension size on the compilation time.

[codecov[bot]]

Codecov Report

Merging #796 (b7f6a7b) into develop (8b711eb) will increase coverage by 0.00%. The diff coverage is 100.00%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## develop #796 +/- ## ======================================== Coverage 98.79% 98.79% ======================================== Files 75 75 Lines 7310 7318 +8 ======================================== + Hits 7222 7230 +8 Misses 88 88 ```

[bernhardmgruber]