Implement `verify --update-mtimes` option