Upgrades to SpiderMonkey 19
API is the same both on DEBUG and RELEASE builds
Merge branch 'master' into android-armv6
Disabled debug for Android.