The UK government has considerable computing power. Even small parts of UK government have surprising amounts of computing.

A well-funded hostile government, bringing a lot of computing online aimed at "attacking" BitCoin would be a valid concern. I accept it's a tiny risk.