Use PositiveReal for probabilities in policy module

Change `Or` weights from usize to PositiveReal and all probability
parameters from raw f64 to PositiveReal, making invalid states
unrepresentable. Thread Threshold through the compiler instead
of extracting k/n pairs.

Author: Abeeujah