Fix verifyencfile to actually assign fopen result to file pointer
Check return of fwrite in verify enc file