Leaders from Human, Reddit, Roku, and Tripadvisor reckon with a web where bots outnumber people.