Add comprehensive test coverage for non-omitted modules#359

lispandfound merged 3 commits intotype_checkingucgmsim/qcore:type_checkingfrom

copilot/sub-pr-358ucgmsim/qcore:copilot/sub-pr-358Copy head branch name to clipboard