Dump full benchcomp YAML results in CI (model-checking#2401)

This ensures that users can copy-and-paste the benchcomp results and investigate them locally.

Author: karkhaz

tools/benchcomp/configs/perf-regression.yaml

@@ -28,6 +28,8 @@ run:
       variants: [kani_old, kani_new]
 
 visualize:
+  - type: dump_yaml
+
   - type: error_on_regression
     variant_pairs: [[kani_old, kani_new]]
     checks: