control block merkle path depth; 0 means the taptree provably has a single leaf
reveal tx has one input, pinning envelope indices given the shown script
taptree provably contains only the shown script (depth 0)
control block merkle path depth; 0 means the taptree provably has a single leaf