Add hackish (partial) display of hand constraints by mapping from the z3's knowledge into the kbb's HandConstraints and calling pretty_one_line