Call enable_all_optional_extensions when running untranslated.
When translating, Check that the extensions the user asked for are present.

Before --withext-* (or --allexts) would silently be ignored if external
extension source code was missing.