Only do rewrite assertions when in debug mode
Make CLaSH parametrizable in the Native Type -> HWType translation