Function verify_range 

pub fn verify_range(
    q: &BigUint,
    paillier: &PaillierPublicKey,
    ck: &CommitmentKey,
    c: &BigUint,
    proof: &RangeProof,
) -> bool

Verify an initiator range proof for ciphertext c.