Fixes #269.  Some old annotations were left in the top-level well-formedness visitor that needed to be changed after the new testing operators were added.  Adding a bunch of well-formedness tests to make sure we don't regress these.