better heuristic
bug fix: proto_board.with_wire does appropriate update of disjoint set forest; some debugging tools for proto_board