Fix grow size during Array<>::append

When the resulting array must grow during append, one must make sure
that the new elements _plus_ the current elements fit the new array
size.