converting between human-readable OP_PUSHDATA and binary and back