Facebook shuffles execs, bets on tech behind bitcoin