It isn't just random residential IPs, but what appears to be BGP hijacking of/onto residential networks on top of that.
If the troll is using residential proxies, you might try abuse@ the handful of services that offer such things. There aren't that many. I don't know if they actually take abuse seriously, but it can't hurt.
Luminati has an abuse form: https://luminati.io/report-abuse