There's only about 5400 XMR mined in total each day. Even if malwarists and botnetters were mining every coin that would be maybe like 50 BTC worth dumped per day. I mean, it's not nothing, but it's not much compared to volume across all exchanges.