Updating sanity-test to parse and then pretty-print some Core code