Asm.js validation for SIMD

This patch doesn't actually enable validation yet, but it adds almost all of the pieces needed for it.
ditto