update V2.hs to show example in paper; make sure it gets built
remove NodeCount; also, tagging code for the paper