Version 1.6.5

Again this release has mostly behind-the-scenes changes. @MadhuNimmo contributed efficiency optimizations for bounded call graph construction for JavaScript and some improved models of JavaScript library functions.

Full Changelog: v1.6.4...v1.6.5