Update rules.php to specify what verdict formats are accepted.

Alongside the reverting MR sosy-lab/benchmarking/competition-scripts!141, this MR adjusts the rules to specify exactly what verdict formats are accepted. This should take effect in SV-COMP'26.

(This MR replaces !512 (closed), which I accidentally deleted the source repo for. Sorry.)