Parameterize FRAC_USABLE_NEEDED for fraction of circuits

Instead of hardcoding the minimum fraction of possible paths to 0.6, we
take it from the user, and failing that from the consensus, and
failing that we fall back to 0.6.