Implement OP_CHECKSIGFROMSTACK(VERIFY) #29270

1. 
   reardencode commented at 6:18 am on January 18, 2024: none

   This pull request forks from #29198 and includes only OP_CHECKSIGFROMSTACK(VERIFY) and their tests.
2. 
   DrahtBot commented at 6:19 am on January 18, 2024: contributor

   The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

   Code Coverage & Benchmarks

   For details see: https://corecheck.dev/bitcoin/bitcoin/pulls/29270.

   Reviews

   See the guideline for information on the review process.

   Type	Reviewers
   Concept ACK	moonsettler

   If your review is incorrectly listed, please react with 👎 to this comment and the bot will ignore it on the next update.

   Conflicts

   Reviewers, this pull request conflicts with the following ones:

   • #31519 (refactor: Use std::span over Span by maflcko)
   • #29269 (Add OP_INTERNALKEY for Tapscript by reardencode)
   • #29247 (CAT in Tapscript (BIP-347) by 0xBEEFCAF3)

   If you consider this pull request important, please also help to review the conflicting pull requests. Ideally, start with the one that should be merged first.

3. DrahtBot added the label CI failed on Jan 18, 2024
4. 
   moonsettler commented at 1:14 pm on January 19, 2024: none

   Concept ACK!
5. winlover32 approved
6. glozow added the label Consensus on Feb 5, 2024
7. reardencode force-pushed on Apr 25, 2024
8. reardencode force-pushed on Apr 25, 2024
9. Implement OP_CHECKSIGFROMSTACK

   Some code and ideas from Elements by stevenroose, and sanket1729
   Porting help from moonsettler
   
   Tests added to the transaction tests framework.

   b49c23258a
10. reardencode force-pushed on Nov 26, 2024

Contributors
reardencode DrahtBot moonsettler winlover32

Labels
Consensus CI failed