Refactor according to new spec
Fix branching
Fix ALU opcode encoding
Fix encodings, flags, add missing opcodes
Fixes all around, as usual