option to disable type change

[solomatnikov]

Unfortunately because of verilator/verilator#6206 and verilator/verilator#6207 https://github.com/antmicro/sv-bugpoint does not generate correct minimized test cases.

[kbieganski]

Thanks for letting us know.