[util] Add --verify to hb-shape / hb-view that verifies shape results Right now it checks for monotone cluster values. Other checks to be added.