Function tbs::verify

pub fn verify(msg: Message, sig: Signature, pk: AggregatePublicKey) -> bool