This morning's update fixes a few bugs that caused the re-verification tool to get stuck on some solutions. It also changes the second-to-last puzzle in the game to make it a little less tedious.
UPDATE: Small fixes for re-verification tool
Build and release context
Recorded Steam release date:
Within one calendar day of this post (UTC). The listed date does not establish an exact launch time.