Constructing a Taproot output and spending it in the "everyone agrees" case. Shamelessly simplified.
