“Emergent's key insight was that solving for verification in software testing could enable the automation of the entire software engineering process.”