I apologize for criticizing the person and not the project, but again, the fact that he deleted the issues is unreasonable.
I, too, would delete needlessly aggressive issues on my open source projects if I didn't end up editing them to make them actually usable. Either way, it'd definitely be a ban so the user wouldn't edit them back or escalate with more aggression in other issues.
Besides on many of those you were simply wrong like with rand.next() returning 0 and missing _lin.v files.