The Mozilla Kraken benchmark