Exploring Bitcoin Covenants: OP_CHECKSIGFROMSTACK and OP_CAT - VEXODA