Verification Is the Next Bottleneck in AI-Assisted Development | Dark Hacker News