Michael Saylor's big Bitcoin move coincides with a jump in Bitcoin mining stocks.