Function verify

pub fn verify(
    _ctx: Context<'_, '_, '_, '_, VerifyContext<'_>>,
    compressed_report: Vec<u8>,
) -> Result<Vec<u8>>