Function generate_proof 

pub fn generate_proof(
    elements: &[Vec<u8>],
    index: usize,
) -> Option<SetMembershipProof>

Generate an inclusion proof for element at index in the set.