VerifIEr - Automated QA & Code Checking for CA Gen