Complete-complement quantitative bounds

Sharper dimension-independent continuity theorems are available in the information–disturbance literature KSW. The weaker bounds (eq:leakagebounds) suffice here and keep the local derivation explicit.