v0.0.0-6686-g3d42bf580

Fix reset behavior when codegening side-effecting ops.

Previously, reset was not part of the rewritten condition, so a function with otherwise-illegal inputs during reset could fire an assertion. This change makes reset part of the condition for assertions, traces, and covers.

Also, while we're in here I rewrote the tests to use builders instead of IR.

PiperOrigin-RevId: 713452683