wip: introduce human-readable witness

[Rjected]

trafficstars

Currently just prints the witness, a few things are unimplemented:

• [ ] Storage proofs
• [ ] Extension nodes
• [ ] Collecting to a string rather than println!
• [ ] Pretty printing