If you're very concerned, you could use a high speed/volume BitCoin Mixer[1]. For example, if it currently has sufficient volume, something on the Darknet like BitBlender[2][3]. There are a number of different mixers out there. You could also, of course, wash the BitCoins by hand yourself.