Various small fixes (from gcc compiler warnings)
Added RTLIL::SigSpec::repeat()
Various fixes in Verific frontend for new RTLIL API
Fixed release build
Disabled RTLIL::SigSpec::check() in release builds