Improved Validator

- Check BBs for predecessors, successors
- Check TAC StatementTypes for correctness of RefVars
- Schema validation is now turned on