If you allow margin trades, then you reintroduce counterparty risk. My main goal here was to find a trading system
which eliminated counterparty risk and the need for legal or reputational enforcement.

Anyways, there is still a tax on margin requirements because you can't use bonds to back your trade.
As you point out, however, allowing margin trading does reduce the tax.