Prices for rough diamonds — the raw, unpolished, and uncut stones — have dipped in 2023 as many post-pandemic consumers are shying away from luxury …