Ensure that FULL_BBLAST_TAC picks up assumptions containing ``word_bit`` terms.
Add tool support for LDM instructions that load to the PC, i.e. those that
perform a branch.