Implement LogicalPlanVerifier to check if a logical plan is valid

The current Tajo does not have any verification system to check whether a logical plan is valid, or not. LogicalPlanVerifier will verify the followings of a logical plan:

• operand types checking
  • some operators have type restrictions. For example, plus(+)'s operands must be numerical values.
• Table and column existence check.
  • Examples are as follows:
    • a create table statement must check if the table already exists
    • columns included in select list must exist in corresponding tables.