Not had trouble with Tor users myself, can't you just ban the whole network?
That's the trouble with an anonymous system like Tor - it's widely distributed. That said, supposedly their Python script is supposed to allow you to block all Tor exit points. Not sure why it isn't working as I don't know anything about Python myself.
Not sure how much you read of that, but basically Tor does not have a
way of tracking users (so they say), and 90% of their abuse FAQ is geared toward
saying they are in the right doing what they are doing... even though they themselves
list that they have many "jerk" users that cause Tor problems or get Tor blacklisted.
I read it all. Well, as it doesn't have a backdoor and traffic is fairly randomly routed, I believe them about it not being traceable. That said, there ARE a limited number of exit points, so if you get that script working and also keep running IP bans on your own special jerk, eventually he's going to run out of random access points.
I don't know if you also noticed, but the Tor pages say that their network does not prevent your browser from leaving DNS information behind.... meaning that he has to use a proxy service to mask where his requests are coming from. There are also a limited number of proxies out there. Privoxy is the one Tor recommends, so consult their website. Again, you may find abuse information that helps you get rid of the troll.
At the very minimum he's leaving behind some kind of traceable information on your servers, and the more IP bans you start issuing, the more you'll narrow the field.
On top of that, requiring invitation-only or admin-approved registrations with an introductory letter may cut down on the number of forum user bans you have to issue, but those user bans are probably your best way of getting rid of a really tenacious troll.