ZeroConcentratedDivergence to SmoothedMaxDivergence measure cast

[Shoeboxam]

We need a combinator that accepts a measurement with a ZeroConcentratedDivergence output measure and emits a measurement with a SmoothedMaxDivergence measure.

I'm looking at using the bound described in the CKS20 paper: https://arxiv.org/pdf/2004.00010.pdf