The merge failed to detect the up-to-date verify.rkt. This commit fixes that.