Use the memory profiler only for the memory benchmarks. This reduces the time…

Merged Eric Bruneton requested to merge use-memory-profiler-only-for-memory-benchmarks into master

Use the memory profiler only for the memory benchmarks. This reduces the time per iteration, allowing to do more iterations. This also gives a more natural setup, without explicit gc calls between iterations. All this reduces the variance of the results.

Merge request reports