I'm not sure how it would happen, but if you could get miners to perform arbitrary computation for you, as a consequence of processing zerocoin transactions, then people might decide to abuse that and generate tons of otherwise unnecessary transactions.
The transaction verification language[1] is not turing complete, and only provides one bit of information (accept/reject transaction).
Currently almost all transactions scripts just do public-key verification.