Stanford Researchers Introduce Clover: Closed-Loop Verifiable Code Generation that Checks Consistencies Among Code, Doc Strings and Annotations and Enforces Correctness in AI-Generated Code