Fix addition of element at the end of an array

If there is an `Add` operation with the array index being the current
size of the array, then, add the element to the end instead of throwing
an error, according to the RFC.