Verify SCEVAddRecExpr's invariant in ScalarEvolution::getAddRecExpr