Use ujson for deserialization.
Tweak benchmarks; small optimizations.