Move flow-state information into semantics/flow.rkt
Add a bunch of diagnostic information to paren-matching
update arithmetic full's run-cfa2 to be more useful