WyIL: bug fixes for DFA lib and LiveVariablesAnalysis.
WyIL: more bug fixes of various kinds.
WyC: Removed SetComprehension tests
WyC: Updates test cases which used comprehensions.