Compiler for Bitcoin Transaction Scripts