Expert Timing: Bitcoin Miners' Clever Move to Cash Out Just in Time for the Halving Bash