Note that even proxies tend to run off a range of ports. If you ban that range using wildcards, you can prevent the access unless he/she uses another proxy server.

Still, I'd take it up with the IRCOps and give them logs to prove it.