Problem: the proofs generated by the CLI are not compatible with the L1
verifier.

Solution: add a `--verifier` flag that lets the user decide for which
verifier the proof needs to be optimized.

Added the `--allow-missing-builtins` flag for testing with the
bootloader.

Problem: the program input is usually loaded through hints. These hints
depend on each program and must be reimplemented for each program. As
the CLI cannot load hints dynamically, this means that it is impossible
to load program inputs in a generic way.

Solution: remove the option entirely. If you need to run a program with
custom hints, use the Python VM `cairo-run` for now.

Problem: the user cannot specify the fact topologies file as output of
the bootloader execution.

Solution: use the latest version of the SDK that supports this option
and add a `--fact-topologies-file` option.