Lts::simulate: check that LTS is not empty

This avoids segmentation faults.
minimization: remove tau self-transitions

Script test #4 covers this feature.
testing: add progress violation tests
sh-scanner: remove spurious file "prova"