Refactor protocol IO

[sinui0]

Currently our API takes ownership over the IO handle between the Prover and Verifier. Instead, our API should provide a poll-oriented buffered IO interface which does not require ownership of the platform IO handle.

[sinui0]

We decided to not go with sans-io, but instead we do allow the IO to be reclaimed from the Session type.