Security: RCE via prompt injection in z3_solver — exec() on LLM-generated code

Security: RCE via prompt injection in z3_solver — exec() on LLM-generated code #82