Recompiled without asserts.
Faster probability-based algorithm and higher search depth.
Merge branch 'minimax' into gh-pages