[Eva] Updates test files to use the new option -eva-alloc-builtin.

Uses the eva_allocate annotation in the tests that used several builtins for
different calls to the same function.