Fix #773: Don't leak arguments array in exports
Fix #777: Explicitly state that non-pure JS ops are forbidden