Increase defaultMaxBackjumps to 2000 (from 200).

As suggested by Anders Löh in #1780.
Revert "Enable '--reorder-goals' by default."

This reverts commit 75f8651d44a92e9da855e0386dc7278b499cb3d8.

See discussion in #1780.