in `owi c` when using `-O{1,2,3}`, retry with `-O0` if no bug is found

It should solve the rare cases where the bug disappear with compiler optimisations (it happens only once in Test-Comp).

The case on which it is happening is: benchs/sv-benchmarks/c/fuzzle-programs/06_fuzzle_50x50_0-cycle.c

It could also be interesting to try to minimize this program and understand which optimizations makes the bug disappear