Check

[hyperupcall]

Check version tables and make sure that for each version, architecture, and platform that there are no duplicates

• This would catch at least Please (since there is a server/client binary) for super early versions

Also check to ensure version matches regular expression of semantic version or date

• This would catch FStar, where early versions are just weird