* sa/dialyzer-bug-fixes:
  Fix typer's crash for nonexisting files
  Remove unused macro
  Decrease tuple arity limit
  Fix bug in dataflow

OTP-9597

... and do some small cleanups.

Atoms in some occurrences were not correctly quoted when formatted to
strings, for instance by the typer program. Example:

    -module(tb).
    -export(['UPPERCASE-FUNCTION-NAME'/0, f1/0, f2/0, f3/0]).
    -record('UPPERCASE-RECORD-NAME', {x}).
    -record(r2, {'UPPERCASE-FIELD-NAME'}).
    -type 'UPPERCASE-TYPE-NAME'() :: integer().

    'UPPERCASE-FUNCTION-NAME'() -> ok.

    f1() -> #'UPPERCASE-RECORD-NAME'{x=1}.

    f2() -> #r2{'UPPERCASE-FIELD-NAME'=1}.

    -spec f3() -> 'UPPERCASE-TYPE-NAME'().
    f3() -> 1.

Given the program above, the output from typer --plt some.plt tb.erl
resulted in the following specs being printed:

    -spec UPPERCASE-FUNCTION-NAME() -> 'ok'.
    -spec f1() -> #UPPERCASE-RECORD-NAME{x::1}.
    -spec f2() -> #r2{UPPERCASE-FIELD-NAME::1}.
    -spec f3() -> UPPERCASE-TYPE-NAME().

This commit changes the output to become the following:

    -spec 'UPPERCASE-FUNCTION-NAME'() -> 'ok'.
    -spec f1() -> #'UPPERCASE-RECORD-NAME'{x::1}.
    -spec f2() -> #r2{'UPPERCASE-FIELD-NAME'::1}.
    -spec f3() -> 'UPPERCASE-TYPE-NAME'().

Setting code path options is useful e.g. when analyzing programs that
use parse transforms.

With '--show_success_typings' Typer will print/use the final
success typings from Dialyzer and ignore/overwrite any existing
contracts.