[Eva] Updates test oracles with pointer downcast alarms emitted by default.

...variadic/tests/known/oracle/printf_garbled_mix.res.oracle

tests/builtins/oracle/Longinit_sequencer.res.oracle

tests/builtins/oracle/alloc.0.res.oracle

tests/builtins/oracle/alloc.1.res.oracle

tests/builtins/oracle/alloc_weak.res.oracle

tests/builtins/oracle/imprecise-malloc-free.res.oracle

tests/builtins/oracle/imprecise.res.oracle

tests/builtins/oracle/memchr.res.oracle

tests/builtins/oracle/memcpy.res.oracle

tests/builtins/oracle/memset.res.oracle

tests/builtins/oracle/strchr.res.oracle

tests/builtins/oracle/strlen.res.oracle

tests/builtins/oracle/strnlen2.res.oracle

tests/builtins/oracle/wcslen.res.oracle

tests/float/oracle/builtins.res.oracle

tests/float/oracle/nonlin.0.res.oracle

tests/float/oracle/nonlin.1.res.oracle

tests/float/oracle/nonlin.2.res.oracle

tests/float/oracle/nonlin.3.res.oracle

tests/float/oracle/nonlin.4.res.oracle