Adding avx1-i32x4 to alloy.py testing