is_valid_prob_pair function

Verify that a pair of probability inputs can be a pair of complementary probabilities.