As you stated, $W$ is unitary and so, assuming your vector space have dimension $n$, $\Re \text{tr} (W) = \sum_i \Re[w_i] \leq \sum_i \lvert w_i \rvert = n$. Now using $V=U^\dagger$ you get $W=I$ and $\Re \text{tr} (W) = n$. You have a upper bound on $\Re \text{tr} (W)$ and showed a way of achieving it so you have your maximizer