Michael Saylor, the CEO of MicroStrategy — the largest corporate Bitcoin investor — has proposed using orange tick marks on Twitter profiles to segregate the bots from actual humans.