If Twitter's lawsuit over Elon Musk's $44 billion buyout bid ever reaches trial, the case will likely center on a ubiquitous and often unloved technology: bots.