9 نفر از عاملان اصلی کشتار مردم در دوران انقلاب، به حکم دادگاه های انقلاب اسلامی اعدام شدند