Mike McMahon, chief technology officer at crypto merchant bank Galaxy Digital, has left the firm, CoinDesk has learned.