Redid some of the target properties sanity check proofs, to exercise the
LibWfenv library some more.