Add a validation check for branching into entry bb

[amishne]

The first basic block in a function cannot be the target of a jump; add a validation check for that.