[ValueTracking] Look through casts when both operands are casts.