pub fn verify_source(name: &str, src: &str) -> Result<Report, CompileError>
Parse → compile → solve a single source.