add VERIFIER_error

replace VERIFIER_error by assert
Due to new rules of sv-comp
fix process_set.sh
versions: install file with version of svc scripts