Asm.js validation for SIMD

This patch doesn't actually enable validation yet, but it adds almost all of the pieces needed for it.
actually i purposefully said `F`, `I`, in caps, because otherwise this will overlap: `f41` can be either the 42nd `f` variable or the 2nd `f4` variable...