Improved display of execution paths, and a bunch of bugfixes. More info: https://delvingbitcoin.org/t/b-sst-bitcoin-like-script-symbolic-tracer-v0-1-3-released/993