Update C verifier benchmark defs in reaction to sosy-lab/benchmarking/sv-benchmarks!1542
requested to merge lemberger/sv-comp-benchmark-definitions:adjust-benchdefs-to-sv-benchmarks-1542 into main
In combination with sosy-lab/benchmarking/sv-benchmarks!1542, this MR implements the changes explained for SV-COMP