i#1551 port to ARM: encode SIMD register lists

Adds encoding rules for the various types of SIMD register lists.

Fixes some issues encountered during testing:
+ Fixes several missing pieces in GPR register list encoding.
+ Fixes a decoding error in the A32_ext_vldB table index computation.
+ Fixes an incorrect memory size in INSTR_CREATE_pop_list.

Adds logging output throughout the encoder.