Add a spec for an extended API for binary data handling

Here and elsewhere, use the saved [[ArrayBufferByteLength]].