Python library and mini benchmark against ujson