document VARIANT_MUST_COPY more, get rid of speculative VARIANT_NO_COPY, which may never be used