Improve jump table detection and debugging output

See merge request !47

This reverts commit 01262f75.

(except ah, bh, ...)

Necessary for pcre2fuzzcheck

This should not adversely affect the rest of the logic as it is only ever entered in cases in which we would have asserted false before

Enables us to instrument x509

Document known issues

Replacing RIP with insn->size() results in a loss of information

Otherwise annotations would now belong to the newly inserted instruction