fn cip509_stake_addresses(cip509: &Cip509) -> HashSet<StakeAddress>
Returns a set of stake addresses in the given registration.