Function effective_ceiling 

pub fn effective_ceiling(
    runtime_mode: RuntimeMode,
    authority_class: AuthorityClass,
    proof_state: ClaimProofState,
    requested_ceiling: ClaimCeiling,
) -> ClaimCeiling

Compute the effective ceiling for the supplied signals.