Incorporate Alex Hudek's log-space hypersearch (new -L option) + other minor fixes