“The growing gap between the rapid, low-cost automation of tasks and the biologically-constrained human capacity for verification will lead to massive system failures.”