some fixes to mov/lea and bt
added sdiv instruction to match what smt2 bv provides. unsure if this is
the best option as opposed to implementing signed division manually, but
seems easiest for now. also, fix to sar
no idea, but obviously some changes!