It was pointed out to me on Slack that a solver is available at
which claims to significantly outperform mine, at 4.4 Sol/s. I read the accompanying documentation and it has much of the same ideas as mine so this seems quite credible.
Since this significantly reduces the value of my solvers, once I confirm the performance, I will offer full refunds to all contributors.