improvements: speed of --max-tokens, misc. others

 * --min-tokens and --max-tokens with large tokenlists can now much
more quickly skip past unwanted checks
 * --no-dupchecks now has four levels to improve control over memory
usage vs duplicate checking thoroughness; update docs to describe them
 * add fsync to do_autosave