ci: run make template in verbose mode

In verbose mode, `make template` shows the exact command that is
executed. It helps look and learn about the particular parameters
used to compile circuits, in comparison with common x86 comipiling.

scripts/ci.sh

@@ -45,7 +45,7 @@ compile() {
         mkdir -p "$REPO_ROOT/build"
         cd "$REPO_ROOT/build"
         cmake -DCIRCUIT_ASSEMBLY_OUTPUT=TRUE ..
-        make template
+        VERBOSE=1 make template
         cd -
         check_file_exists "$REPO_ROOT/build/src/template.ll"
     fi