Doc: Verifier: Add section on trade-offs.