[Eva] Adds a test for a fixed convergence issue on allocated memory.

tests/builtins/alloc_weak.c

tests/builtins/oracle/alloc_weak.res.oracle

tests/builtins/oracle_equality/alloc_weak.res.oracle

tests/builtins/oracle_symblocs/alloc_weak.res.oracle