Simplify the run_vests.rb script a bit
Fix assertion failure due to earlier semantic error
Fix another similar crash
Fix a crash in sem_check_constrained
Fix an assertion failure in sem_index_type
Merge branch 'master' of github.com:nickg/nvc
Fix Linux build