i#1551 port to ARM: add more debug sanity checks for the decoder and encoder

Refactors the existing reg_check_reg_fixer() into a general
decode_debug_checks() which calls into the encoder and decoder to verify
the sizes of various arrays and sanity check the decoding tables.

For ARM, adds checks of the encoder chains and checks that register lists
obey certain limitations to make decoding and encoding simpler.

git-svn-id: https://dynamorio.googlecode.com/svn/trunk@3022 49cc7528-f6fd-11dd-9d1a-b59b2e1864b6
10 files changed