Re-order failed tests in steps: after 10, 50 and then every 500

It used to be extremely bad: if the interesting failing test is the last
one (of 300), CEGISLike would test 1000*300 times before ordering it to
make it first.

Now we assume that interesting tests are discovered early.