compiler: use PositiveF64 for all probabilites

Costs remain using f64, since they may be zero (e.g. the satisfactio
cost of a timelock). But all probilities in the compiler should be
positive: if they are zero, the corresponding path is impossible and
we represent that with an option.

Author: apoelstra