Release versioning and verification

A tag collision on the June 29 release showed that tags could not say which build was in production, which led to the July runbook change after tags and merge history disagreed, and then to a July 30 fix of a log filter that misled release verification.