Function verify_answer 

pub fn verify_answer(
    cx: &mut Cx,
    intent: &CompiledIntent,
    answer: &Expr,
) -> Result<VerifyReport>

Runs semantic verification with an empty catalog.

Callers that need registered verifier definitions should use VerifyCatalog::verify_answer.