Proptest

Adding proportion test.