JS Error Resilience

This release adds:

• Resiliency to JavaScript errors: if there's an error at the JavaScript level (e.g. calling methods of a null reference), the host code listener gets a proper error callback (and not a runtime exception). During verification, this becomes a violation.
• Fixed a bug in the verifier, which cause some edges not to be inspected.
• Other improvements as well, but rather minor.