Verify an ed25519 signature using a precomputed challenge hash H(R || A || M).
This is useful in cases where the challenge hash needs to be computed off-chain
or pre-computed on-chain for efficiency reasons.
Verify an ed25519 signature over a vectored message using the provided
hash implementation. Most callers want verify; this is the escape
hatch for custom Hasher implementations.