Function verify_proof 

pub fn verify_proof(
    public_key: &BbsPlusPublicKey,
    proof: &BbsPlusProof,
    revealed_indices: &[usize],
    revealed_messages: &[Vec<u8>],
    context: &[u8],
) -> BbsPlusResult<bool>

Verify a selective disclosure proof.