Refactored module loading and verification