As humans write less code: workloads shift from human to agent verification