Formateador JSON de alto rendimiento con vista de árbol, filtrado e historial