Cleaned up the main json parsing function to use a type that wraps around the @ view and the proof that a certain pointer was allocated by libc.
Cleaned up the main json parsing function to use a type that wraps around the @ view
and the proof that a certain pointer was allocated by libc.

ashalkhakov/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib