Jit64::twx(): add assert message

The implemented and the real control flow differ a bit.