Fix #773: Don't leak arguments array in exports
Fix #777: Explicitly state that non-pure JS ops are forbidden
Merge pull request #778 from gzm0/local-arguments

Local arguments