Bugfixes of TSX Instructions in features branch

Fixed two bugs regarding the Intel TSX specification: XABORT was not working. XTEST returned the wrong return code.