Splits byte sequence x at position n. x1 contains the byte sequence [0, n), and x2 contains [n, end). For example, ‘abc’ 0 OP_SPLIT produces the stack ‘’, ‘abc’. Input: x n Output: x1 x2