disable QuickCheck tests until the nontermination issue in the AST generator is fixed
fixed nested label checking (see issue #32)