fn write_delegation( ccx: &mut CheatsCtxt<'_, '_, '_, '_>, auth: SignedAuthorization, ) -> Result<()>