pub fn size(v: &Value) -> u64
A total order on “how big is this value”, used to prove a shrink is progress.