Work on nested forall stmts.
Runtime cleanup, move unused code into old directory, various cleanup and refactor. add README to document what is currently being used.
Merge branch 'overhaul' of darwin:scout into overhaul