Produce YAML witnesses #6
Description
In SV-COMP 2026 C.NoOverflows requires correctness witnesses in YAML format. SV-sanitizers only produces a GraphML correctness witness, which is ignored.
GraphML violation witnesses are still supported, although it would be good to also produce YAML violation witnesses. This requires some work, because that must contain a target waypoint with the violation location (which needs to be extracted from sanitizer output, if possible).