Bitcoin Script encoder, decoder and runner