Hacker News Reader

That just shifts bugs up one layer, into the specification that you then verify

Yes but that is significantly less surface area (indeed asymptotically less in the general case if you believe P != NP).