Actually faster json decoding: including lazy decodes