What do you think?
I would allow tor users. Why not? I imagine it will all be botnets, but that is fine. If my computer has some stuff on it, I'd prefer it get hot mining as I might notice that and correct the problem. Otherwise, I'll have no clue my box is rooted all the hell.
I am not the internet police. If peoples' computers getting hot and higher power bills are what it takes for there to be some incentive to unfuck OS security, fine by me.