JSON 格式化

JSON 格式化、压缩与校验，校验失败时精确提示错误位置（行、列）。