In Chapter 1 of E. L. Lehmann's book Nonparametrics, he refers to the Wilcoxon Rank Sum test in treatment-control experiments. Using Lehmann's notation, let $N$ be the total number of units, $n$ the number of treated units and $m$ the number of control units. Under the null hypothesis of no effects, ranks are fixed over possible assignments to treatment and control and Lehmann provides an exact analytic expression for the expected value and variance of the rank sum statistic (sum of ranks among treated subjects).
Apparently there is no expression for the variance of the Wilcoxon rank sum statistic under the alternative of a larger effect for each of the $N$ units. However, is it possible to show that the Wilcoxon rank sum is consistent against this alternative (i.e., power tends to $1$ as $N \to \infty$)?
To be more precise, let the effect be positive for all units: $\mathbf{y_T}$ is the $N$ outcomes under treatment condition and $\mathbf{y_C}$ is the $N$ outcomes under control condition. Assume that the null of $\mathbf{y_T} = \mathbf{y_C}$ is false and the alternative of $\mathbf{y_T} \geq \mathbf{y_C}$ with a strict inequality holding for at least one unit. If we embed an experiment of $N$ units in an infinite sequence of experiments with increasing $N$, can we show that the probability of rejecting the null hypothesis under the alternative tends to $1$ as $N \to \infty$ (under suitable regularity conditions)? How could we do this formally?
Thanks so much for any insight anyone has to offer.