i8x16_shuffle, except operates as if the inputs were four
32-bit integers, only taking 4 indices to shuffle.
Indices in the range [0, 3] select from
a while [4, 7] select from
Note that this will generate the
i8x16.shuffle instruction, since there
is no native
i32x4.shuffle instruction (there is no need for one since