[Mlir-commits] [mlir] [mlir] Add `Operation::dumpPrettyPrinted` (PR #120117)

[River Riddle]

River707 wrote:

> The only effect of "AssumeVerified" is to not disable pretty-printing (that is: not disable custom printers and falling back to generic printer). From a user point of view, it seemed to me `pretty` was somehow OK to describe the visible difference in behavior between `dump()` and `dumpXXXXXX()`, but I'm open to either possibility really.

We have some options (like prettyPrintLocations or something) that I had in my mind that made it weird (even if I'd love to remove that flag)

https://github.com/llvm/llvm-project/pull/120117