TODO
right-uniqueness of combinatorial auctions: CombinatorialAuctionProperties.right_uniqueI, and proof outline for CombinatorialVickreyAuctionSoundness.right_unique