stripminer: much more efficient algorithm.

also update deps to get bug fixes