A Lightweight Framework for Regex Verification