Currently both the Prover and Verifier merely close the connection when they encounter an error condition. This makes it difficult to debug issues. Add communication of errors to the core protocol (without introducing private information leakage).

For example, when the Verifier rejects the configuration that the Prover provides it should send the Prover a message explaining exactly why it was rejected.