Verification Tools: Add verification tools module.