A hard requirement on AVX instructions is exactly the sort of thing I would expect out of Arthur Whitney. His software tends to be very opinionated, and that's one of the things that lets him do so much in so little code.