Generative AI keeps making software quality mistakes that experts for decades have known to avoid. Behavior verification is one of them.