[Eva] Update tests

tests/builtins/oracle/alloc_weak.res.oracle

tests/builtins/oracle/allocated.1.res.oracle

tests/builtins/oracle/memcpy.res.oracle

tests/builtins/oracle/realloc_multiple.1.res.oracle

tests/float/oracle/some.0.res.oracle

tests/libc/oracle/string_c_strchr.res.oracle

tests/libc/oracle/string_h.res.oracle

tests/libc/oracle/unistd_h.0.res.oracle

tests/libc/oracle/unistd_h.1.res.oracle

tests/slicing/oracle/if_many_values.res.oracle

tests/value/oracle/bitwise.res.oracle

tests/value/oracle/builtins_split.res.oracle

tests/value/oracle/hierarchical_convergence.res.oracle

tests/value/oracle/initialized.res.oracle

tests/value/oracle/local_slevel.res.oracle

tests/value/oracle/narrow_behaviors.res.oracle

tests/value/oracle/no_results.res.oracle

tests/value/oracle/partitioning-annots.1.res.oracle

tests/value/oracle/partitioning-annots.2.res.oracle

tests/value/oracle/partitioning-annots.3.res.oracle