O(1) OP_IF/NOTIF/ELSE/ENDIF script implementation / Abstract out script execution out of VerifyWitnessProgram()

This week, we’ll review two (small) PRs:
bitcoincore.reviews bitcoincore.reviews