change mutator interface: control object now expects a mutator.control list which is passed to the mutator. Moreover each mutator x now has its own xCheck sanity check function