We do not null check the shuffle argument. For other methods, we insert a species check which also acts as a null check. For rearrange, we only rely on the cast to the concrete shuffle type, this allows null to pass. And the intrinsification may fail if its input is nullable.