Added aliasing check, all tests pass again now.
Register allocation now works for both 32-bits and 128-bits symbols. Tests will be broken till code generator is fixed.