Improved heuristics

Works with current workspace.  Proves both queue and globally bounded queue selection sorts.