validator: Allow assignment be mixed local/non-local

It's possible if the local variable is unused
Remove the bytecode patching

It's turned to be too dangerous
eliminator: Fix second phase elimination
unwrapper: working now
Add a special test file for loops
More test cases for ifs