Ethereum’s ProgPoW Debate Is About Much More Than Mining