Get/Put instructions slightly more elegant
Changes to code generator reflecting previous commit
TaintRegister now extends SingleRegister
Fixed wrong assumption
Changes towards tainting arrays of primitive types. Not working yet