Function pairing_check 

async fn pairing_check<T: Transport, C: Clock>(
    engine: &Engine<T, C>,
    server: &ServerState,
) -> Check