LoopVectorizer: Add a check that the backedge taken count + 1 does not overflow