Add invariant to DV_PROPORTION preventing 0 denominator

DV_PROPORTION:
It is strongly recommended to ensure that the denominator is not zero, however this specification does not prevent it, in order to accommodate legacy data or situations that may generate zero values. See