The problem with showing @+#channel in NAMES or WHOIS is that it breaks some clients. So, the only real way to know if someone who has deopped is +v or not is to /WHOIS them or get /NAMES $chan on DEOP and look for the matching channel. /NAMES is obviously the best choice because it "should" update the nicklist correctly on its own.
