add various dump options, using them to give a tour of the IR in the README