Fix assertion failures due to missing synthesizable branches in InsertBranchAtInst.

While testing the rebased riscv-llvm I noticed that some tests were failing with an "Invalid branch condition code!" assertion. This fixes these failures and adds tests for the synthesizable branches.

The code on the default RISCV branch has the same issue. The code on the hwacha branch already has a similar fix.