They do still ban people who harass or threaten others. If they did it they might have had a reason, I can't tell you but it's few & far between when they do ban someone.
Also violating reddit TOS and spam are the main reasons. Mod logs are open so if he was serious about knowing why all he would have to do is look.