On Hrushovski's Proof of the Manin-Mumford Conjecture