Switched SMACK scripts to use SMACK tool.
Switched regression scripts to use SMACK tool.