Coldcard ships firmware after $114 million bitcoin theft, says AI helped catch more bugs