now gets through Chicken-and-Black-Bean-Chili

(1) instead of depth-first, went back to exploring 1-states before
4-states.
(2) increased beam width to 200.
(3) added spencer’s new verb prob file