[SCEV][LV] Add SCEV Predicates and use them to re-implement stride versioning