YUL label resolution

Label resolution and bank switching in compilation process.
Various code improvements to get things easier.