ALL "good" thermal paste are none conductive so you don't have to worry about a short. However, just to be on the safe side I think you should clean it off. I don't think you would need to go to the extreme of using alcohol to clean the pins, just make sure that they don't connect would be sufficient.