Push through a big refactoring to enforce alternating layers of And's and Or's.
Naive passes its tests but lvish1 is not yet ported as of this commit.
Refactor: have leaves only under the Andtree.  Naive passes the four small tests
WIP: Sketching out some of the new lvish implementation
Try to make a fixed-depth solution for lvish1 before generalizing.  Currently bugged.  Infinite loops.