remove CLIC_INTTHRESHBITS

Created by: silabs-krdosvik

The cv32e40x core has removed CLIC_INTTHRESHBITS, so to get formal to run we need to do it in the verification environment aswell.

I coudnt see any missing dependencies, do you know something about this @silabs-hfegran ?

ci_check passes, and formal compiles.