Changed name

Because it turns out that I really can't pronounce factcheck out-
loud.  It turns into 'fatcheck' in any case.

Also, it makes some sense; check this property, proper fatly.
Implies that manual tests check things thinly.