Improve type mismatch detection and reporting

Currently, if Python code passes the wrong number or types of parameters to the host, or returns a result of an unexpected type, `componentize-py` generally reacts by panicking and trapping. That's probably unavoidable in most cases, but it should at least print an informative and actionable diagnostic prior to panicking.

该 issue 没有指定文件、测试或入口点。首先定位 componentize-py 中参数和结果类型检查的路径，并检查当前的 panic 是如何报告的。当错误的参数数量或类型以及意外的结果类型在发生 trap 之前产生信息充分且可采取行动的诊断时，即视为完成。

由索引模型根据 Issue 内容生成。