SWE-bench: How Scores Work, Verified and Pro CASRAI