Fixed 23-bit addresses in THUMB.19
Add decoding + execution of THUMB.15