China’s Bitcoin Crackdown Sets Up Record Tweak to Mining Puzzle