Function verify_share 

pub fn verify_share(
    share: &PedersenShare,
    commitment: &PedersenCommitment,
    params: &PedersenParams,
) -> bool

Verify a Pedersen share against commitments. Checks: g^{f(j)} * h^{r(j)} == product(C_i^{j^i}).