Automated visual verification is hard