[SCEV] Add some asserts to the recently improved trip count computation