Might be useful to test model instances against libbitcoinconsensus

[dgpv]

tools/parse_miniscript_dot.py can now output both script and witness to satisfy the script from the .dot file:

$ tools/parse_miniscript_dot.py ~/miniscript-alloy-spec-generated-samples/8ed9d5a6d084d70e607eb4fb8801ba86d481eb6c/1030.dot 
type=B safe=yes nonmal=yes dissat=no input=n output=nonzero miniscript=and_v(v:and_b(c:pk_h(A),s:sha256(H)),after(500000001))
script: OP_DUP OP_HASH160 <HASH160(A)> OP_EQUALVERIFY OP_CHECKSIG OP_SWAP OP_SIZE <20> OP_EQUALVERIFY OP_SHA256 <H> OP_EQUAL OP_BOOLAND OP_VERIFY <0165cd1d> OP_CHECKLOCKTIMEVERIFY
witness: pub:A sig:A sha256:good

It should be possible to create a mock transaction with an input encumbered by the given script, and try to satisfy the script with witnesses generated according to the output of tools/parse_miniscript_dot.py, using libbitcoinconsensus interface of python-bitcointx: https://github.com/Simplexum/python-bitcointx/blob/d945bf764a3f585e2bf075237a78a708bffefde7/bitcointx/core/bitcoinconsensus.py#L181