[microTVM] Zephyr: Set 'choices' for ProjectOption 'verbose' (apache#…

…8968)

Set 'choices' tuple returned for ProjectOption 'verbose' as a double
of True and False so TVMC and other interfaces can easily determine
it's a boolean option.

Signed-off-by: Gustavo Romero <gustavo.romero@linaro.org>

apps/microtvm/zephyr/template_project/microtvm_api_server.py

@@ -275,7 +275,7 @@ def _get_nrf_device_args(options):
         help="Type of project to generate.",
         choices=tuple(PROJECT_TYPES),
     ),
-    server.ProjectOption("verbose", help="Run build with verbose output."),
+    server.ProjectOption("verbose", help="Run build with verbose output.", choices=(True, False)),
     server.ProjectOption(
         "west_cmd",
         help=(