Coldcard ships firmware after $114M bitcoin theft as AI finds bugs