Merge branch 'fix/benchmark-opcounting' into 'master'

See merge request [extensions/dune-codegen!315]

  [extensions/dune-codegen!315]: Noneextensions/dune-codegen/merge_requests/315