Support shorter SVE vectors via predicates

17 jobs for sve in 21 minutes and 13 seconds (queued for 4 seconds)