Certified Loose Diamond Comparison