[Build] Expose missing USE_VERILATOR in cmake

[cbalint13]

This PR updates cmake exposure of USE_VERILATOR flag for the verilator contrib module.

Fixes the following:

• Proper appearance in cmake option list
• Proper display in cmake post summary of configuration

Does not change current behaviour, USE_VERILATOR remains OFF by default.

---

Here is the USE_VERILATOR visibility:

/usr/bin/cmake {...} -DUSE_VERILATOR=ON
{...}
--   ---------------- Summary ----------------
--   CMake version         : 3.25.1
--   CMake executable      : /usr/bin/cmake
{...}
--    USE_VERILATOR                      : ON
--    USE_VITIS_AI                       : OFF
--    USE_VULKAN                         : OFF
-- Configuring done
-- Generating done

Cc @areusch , @tmoreau89 , @vegaluisjose please help with the review.

Thanks,
~Cristian.

[tvm-bot]

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers by @-ing them in a comment.

• No users to tag found in teams: build _{See #10317 for details}

_{Generated by tvm-bot}