Modified moosolver to use SymmetryBreaking and MagnifyingGlass options passed in from MultiObjectiveOptions

This requires changes to Alloy: cb6d10498ca44ea84e80f555b41156c29e7486f8