[Eva] Disables the automatic loop unrolling by default.

...analysis/tests/loop_analysis/oracle/with_value.res.oracle

...plugins/nonterm/tests/nonterm/oracle/callstack.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n1.res.oracle

src/plugins/nonterm/tests/nonterm/oracle/n7.res.oracle

src/plugins/value/value_parameters.ml

...ins/variadic/tests/defined/oracle/annot-formal.res.oracle

...lugins/variadic/tests/defined/oracle/annot-loc.res.oracle

...ugins/variadic/tests/defined/oracle/empty-vpar.res.oracle

src/plugins/variadic/tests/defined/oracle/forward.res.oracle

src/plugins/variadic/tests/defined/oracle/max.res.oracle

...ariadic/tests/defined/oracle/multiple-va_start.res.oracle

...s/variadic/tests/defined/oracle/pointers-to-va.res.oracle

src/plugins/variadic/tests/defined/oracle/simple.res.oracle

src/plugins/variadic/tests/defined/oracle/struct.res.oracle

src/plugins/variadic/tests/defined/oracle/va_copy.res.oracle

...s/variadic/tests/defined/oracle/va_list-as-arg.res.oracle

tests/journal/oracle/control2.res.oracle

tests/journal/oracle/control2_sav.res

tests/journal/oracle/intra.res.oracle

tests/syntax/oracle/Refresh_visitor.res.oracle