Make --verbose imply --summary on the command line

This is more in line with user expectations, and results in tables being
rendered when invoking `abi3audit <spec> -v`, even without `--summary`.

`--summary` behavior itself is unchanged, as is the rendering algorithm.

abi3audit/_cli.py

@@ -267,7 +267,7 @@ def main() -> None:
                 if not result and args.verbose:
                     console.log(result)
 
-            log_message = results.summarize_extraction(extractor, args.summary)
+            log_message = results.summarize_extraction(extractor, args.summary or args.verbose)
             if log_message:
                 console.log(log_message)