`minimum_n_keys` returns 0 when it encounters `Policy::Unsatisfiable`, this leads to some strange behavior with policies such as: ``` or(UNSATISFIABLE,and(pkh(alice_pkh),pkh(bob_pkh))) ``` where `minimum_n_keys` returns 0, even though the minimum number of keys for satisfying that policy is 2.