1) Split SemanticChecker into two passes
   #1 Discover region name and region parameter declarations
   #2 Rest of semantic checks (#args match #region params, RPL are well-formed, etc)
2) Added back several test files that were deleted by recent merge with ToT.