On that note, has anybody heard of any data or estimates on the proportion of Bitcoin mining that is done with botnets? I keep hearing that a large proportion of the bigger botnets in the world are being used to mine Bitcoins (when they aren't being leased out for DDoS attacks).

That changes the economic dynamic since the cost of mining is the cost of assembling the botnet (ie. cheap)