Circuit complexity has outpaced the tooling available to verify it, and reviewers are saying so publicly.