Show exactly when the execution ends with revert

[gustavo-grieco]

In the current coverage report, we don't know exactly the execution reverts

*r  |  function f(int val) public {
*r  |    require (val % 100 > 0);
*r  |    require (val % 100 < 90);
    |  }

We could use R to signal that an execution reverts in certain line.

[gustavo-grieco]

This will be fixed in #746

[arcz]

It's now the default since the coverage optimization changes.