Implement integer vector shuffle (and masked forms)