Send prover errors back with spans instead of ANSI

This requires an update to clients to allow an optional span list on
prover errors.