Replace Quick mode with Thorough mode

Replaces the `quick_mode` flag with `thorough_mode` and inverts the logic. Closes #2424.

manticore/__main__.py

@@ -227,10 +227,10 @@ def positive(value):
     )
 
     eth_flags.add_argument(
-        "--quick-mode",
+        "--thorough-mode",
         action="store_true",
-        help="Configure Manticore for quick exploration. Disable gas, generate testcase only for alive states, "
-        "do not explore constant functions. Disable all detectors.",
+        help="Configure Manticore for more exhaustive exploration. Evaluate gas, generate testcases for dead states, "
+        "explore constant functions, and run a small suite of detectors.",
     )
 
     config_flags = parser.add_argument_group("Constants")

manticore/ethereum/cli.py

@@ -89,7 +89,7 @@ def choose_detectors(args):
 def ethereum_main(args, logger):
     m = ManticoreEVM(workspace_url=args.workspace)
 
-    if args.quick_mode:
+    if not args.thorough_mode:
         args.avoid_constant = True
         args.exclude_all = True
         args.only_alive_testcases = True

manticore/ethereum/verifier.py

@@ -398,10 +398,10 @@ def main():
     eth_flags = parser.add_argument_group("Ethereum flags")
 
     eth_flags.add_argument(
-        "--quick-mode",
+        "--thorough-mode",
         action="store_true",
-        help="Configure Manticore for quick exploration. Disable gas, generate testcase only for alive states, "
-        "do not explore constant functions. Disable all detectors.",
+        help="Configure Manticore for more exhaustive exploration. Evaluate gas, generate testcases for dead states, "
+        "explore constant functions, and run a small suite of detectors.",
     )
     eth_flags.add_argument(
         "--contract_name", type=str, help="The target contract name defined in the source code"