Expand verified objects

[ulfarsson]

One way to do the last 8x4 0123_0132_0213_0231_0312_1023_1203_1230 is to use the 3,1 root insertion pack and expand the 1x1 Av(123) subclass.

pack = TileScopePack.only_root_placements(3)
searcher = TileScope(basis, pack)
spec = searcher.auto_search(status_update=10, smallest=True, expand_verified=False)

print(json.dumps(ProofTree.from_specification(spec).to_jsonable()))

Just for myself here are the hacks I put in place to make this work. In css:

if True:  # not self.ruledb.is_verified(label):
                    self._expand(comb_class, label, strategies, inferral)

if rule.ignore_parent and not isinstance(rule, VerificationRule):
            self._stop_yielding(start_label)