Add decoding+execution of THUMB.7