How to guide for using bugpoint, minimizing yosys scripts, and minimizing verilog code. AKA how to MVCE.