Renamed smack-verify into smackverify due to naming issues related to Python modules (Python does not like to have '-' in module names).