added fullTypeCheckFlag to TypeChecker
added comment to fullTypeCheck parameter
defer creation of fullTypeCheckChecker
merge with mastr
Merge pull request #450 from Microsoft/fullTypeCheckFlag

added fullTypeCheckFlag to TypeChecker