Per-call kwargs on `simplify`

[oameye]

Replace the old LazyOrder workflows with local kwargs instead of a global mode: simplify(expr; expand_completeness=false) and simplify(expr; commute=false), for cases like "keep |g⟩⟨g| atomic" or "reductions only".