Christie’s record auction is actually a gauge for how far the art market has fallen