Fix misc. $options issues in json_util PYTHON-510