OK. There may be non-symmetric local maxima. I feel better; thought maybe I
was just so dense I couldn't grok the obvious.
As for a definition of symmetric: For the purposes of local maximum argument,
each of the 6 basic QTW must have the same effect. That is, the configuration
must be isomorphic under the rotation group of the whole cube (of order 24).