Validation of GOTOs

- Conditional jumps are validated (OK)
- Unconditional jumps: problems with basic blocks with a single
unconditional 'goto' instruction. Andras, are they really needed? :)