Warnings, a stricter Verification flow, and newer modules