Replace "check:" wth "CHECK:".
Also fix one test by changing "vpermilps" to "vpshufd".