moves fancy junk to `Searcher.__new__`
now calls on spec for run variables
properly comments up what's going on
gives global state for both searchers
gets rid of extraneous print statement
finishes object rename :P
makes the maxwalksat actually run
gets rid of default values for maxwalksat init