[SimplifyCFG] Make FoldCondBranchOnPHI more amenable to extension

This general threading transform can be performed whenever we know
a constant value for the condition in a predecessor, which would
currently just be the case of a phi node with constant arguments.