Asm.js validation for SIMD

This patch doesn't actually enable validation yet, but it adds almost all of the pieces needed for it.
these are register names, so normally we try to keep them short. how about `F4` and `I4`?