Don’t copy final array in `Vector.build`

[GregoryTravis]

Vector.build has control over the scope of the builder, so it is safe to skip the copy at the end in .to_vector.

However, to avoid leaking unused memory, we will also change the array builder's resizer to be min(4/3 x, x + 4192).