verif: now 'make runtests' runs tests for both system-level moded and RTL.
verif: now 'make runtests' runs tests for both system-level moded and RTL.

skarpenko/ultiparc,skarpenko/ultiparc,skarpenko/ultiparc,skarpenko/ultiparc