[X86] combineTruncatedArithmetic - move more of fold inside combinei64TruncSrlConstant
Let combinei64TruncSrlConstant decide when the fold is invalid instead of splitting so many of the conditions with combineTruncatedArithmetic
NOTE: We can probably relax the i32 truncation constraint to <= i32, perform the SRL as i32 and then truncate further.
Noticed while triaging #141496