Implemented the bytecode translators (incomplete), including assign,
binaryoperator, const, fail, forall, goto, if, invoke, label, lengthof,
update.