Semantically correct data processing operations with status flag updates
Shifter status flag updates

Additional to last commit, only updates the CPSR with the shifter status flag bits in instructions where this is semantically correct