[Eva] Updates alternative oracles on auto_loop_unroll test.

The octagon domains improves the precision on the first run, with unsufficient
automatic loop unrolling — but not on the second run.
The gauges domain improves the precision on both runs.