added some better debugging output
fixed issue where constraints after canonicalizing objective were not being simplified