Revise and correct error handling in ipt_establisher.rs

There are numerous places in ipt_establisher.rs where we note that our error handling is troublesome. We should fix the broken ones, and explain the correctness (or adequacy) of the ones we aren't fixing.

See TODO (#1237) comments.