ivory-stdlib: update arrayCopy.