faster maotrees, still very slow though [mao.py]
better progress output (-d) [search.py]
mao trees