Added code that validates symbols used in conditional branches.
Added code that validates symbols used in conditional branches.

Added code that check the true and false branches of conditional
branches to ensure that they do not refer to memory symbols.

jtcriswell/bpfa