A Parallel Abstract Interpreter for JavaScript