Added reset line to sha1.v to allow it to be interrupted, fixed addition of each searcher's digest progressive total