Fixes register allocation bugs
Fixes minor decompilation issues
All tests pass with register allocation