In bin/verify.js, test problem before regressions--not afterwards.

Should make iteration quicker for solving the problems, since it's the
most likely test to fail.
don't make backups when patching in solution tests.