Logical validation for TAC instructions

Revised:
- Schema validator
- Logical validator
- GUID validator
Added:
- TAC instruction validator
- Validator class