Fix proof probability

[markspanbroek]

• fixes the case where the probability is 1 (proofs always required)
• uses a binomial test to check probabilities (more reliable unit test)