Potentially finished lvish 0CFA, plus pretty printing.  Now for testing.
CFA: Improve printing.  Getting empty final result list in lvish.
Improve/fix debugging
Merge branch 'master' into taskids
More cfa debugging annotations.  It explores the right states, and it attempts to insert into the summary, but the summary ends up empty.