Once in a great while, perhaps three times in fifteen years, I have had a corruption occur when switching processor types offline with RSLogix500. When this has happened, the solution has been to save the file as a SLC type, then reopen it, save again as RSS file, then try to Verify Program. This may not be the cause of your problem, as I don't recall seeing that exact error when it happened to me.