250 Days and Counting: Close the Verification Gap