Howard Wu

Let's queue this PR up for after #1871 is approved and merged

This PR needs rebasing

Could you provide a little more context on this change? Would love to learn :)

Oddly, I had to add `Debug` on the `Inclusion` struct, but not the `Execution` struct, despite them being similar.

This PR needs rebasing

This has been fixed in `testnet3.2`.

@ljedrz how can we reenable the colored outputs for `clap`? ``` setting = clap::AppSettings::ColoredHelp ```

Do we know if `clap` has a timeline for adding support for colors back in?

I'll close this PR for now and wait for `4.x` to be released with colors. Thanks @ljedrz for being proactive about this.

^The above commit now includes the `degree` as a preimage for the **prover polynomial**.