Validate asm.js

[binji]

You should probably add an asm.js validation step. Sam pointed out that (for example) using Math.fround directly may not be allowed (I'm not sure).

[ncbray]

For the moment I am focusing on semantics rather than strict asm.js validation. I did change how fround an imul were bound, however, to match the spec.