Comparing speeds of different JSON-generation strategies