Verifying SF6 Reductions Market Mechanisms