Function update_high_qc 

pub(crate) async fn update_high_qc<TYPES: NodeType, I: NodeImplementation<TYPES>>(
    proposal: &Proposal<TYPES, QuorumProposalWrapper<TYPES>>,
    validation_info: &ValidationInfo<TYPES, I>,
) -> Result<()>