Moved MaxSAT specific functions into MaxSAT module
Reorganized MaxSAT module
Broke generator into individual functions, wrote tests.  Still haven't written holistic tests yet.