Integrate YAML witnesses with SV-COMP mode #1217
Description
Currently SV-COMP mode and GraphML witness generation are quite tied. They should be decoupled and SV-COMP mode should also support using YAML witnesses.
Witness options should also be renamed because witness.enabled, witness.path, witness.id, witness.minimize, witness.uncil, witness.stack are all just about GraphML witnesses.