Just wanted to bring this old thread up to ask you about this service:
PredictionMarkt — Ethereum-based trading platform for prediction markets
I think it solves the netting issue you are describing with Outcome Bundles, which are described in the short sales section here.
The outcome bundles system is identical to the one used at Iowa Electronic Markets.
What do you think?