[Backend] Implement structured error mapping for batch proof verification

[floxxih]

Batch proof verification should return consistent structured errors instead of leaking low-level exceptions to callers.

Acceptance criteria:

• Map verification failures to stable error codes.
• Preserve enough context for debugging without exposing secrets.
• Keep the response shape aligned with the existing API error format.