Support: Add unit tests for BranchProbability
Support: Simplify BranchProbability operators
Objective-C. Improve diagnosis of bridging types.
// rdar://16737117