Updated comments in 'verify_binaries.sh'