How we made JSON.stringify more than twice as fast