v13 attached. All the same features as v12, but with a lot more type checking, bounds checking, value inspection, etc. Perhaps the most notable feature is that we're now ensuring that histogram values are in ascending order. This could come in handy for detecting when we are applying stats to a column of the wrong type, or the right type but with a different collation. It's not a guarantee of validity, of course, but it would detect egregious changes in sort order.
