handler_simp for Query Handlers

Small normalization simp-set for the common handler transformers and their StateT / WriterT run-shapes.

The goal is not to create a second proof mode; it is just the shared "open the handler one step" surface that proof scripts can use before handing control back to mvcgen, vcstep, rvcstep, or ordinary support reasoning.