Tests for NEON encoding of vabdl.