IBM says quantum computers are getting harder to verify. That's progress