Changed how assignments are saved during check. These are now backed by an attribute...

Changed how assignments are saved during check.  These are now backed by an attribute.  There is now a priority queue for selecting the smallest inconsistent basic variable. normal.h has been removed.  A large chunk of the registerTerm() stuff has been moved into preregister. The lazy splitting code is now been commented out so that it stops showing up in profiling.