Redid freeness checking.

Now verifies test/in-gh, though I had to generalize some of the results in
there.