This tests branch opcodes to verify that their arguments are actually of
the appropriate types.