Recompiled without asserts.
Faster probability-based algorithm and higher search depth.