Here's what tech leaders are saying about Yahoo's sale to Verizon