SciCode-Verified: How Benchmark Defects Underestimated the Scientific-Coding Ability of Language Models