The blockchain developer said its new STARK verifier demonstrates the power of the OP_CAT technical proposal on Bitcoin.