Function publish_fidelity_badge_for_lib 

pub fn publish_fidelity_badge_for_lib(
    cx: &mut Cx,
    lib_id: LibId,
    subject: Ref,
    badge: Symbol,
    evidence: Ref,
) -> Result<()>

Publishes a fidelity badge and records newly inserted facts under lib_id.