preset: make PropagatePreset play nice with verification statements (#2453) (#2467)

Verification statements are guarded by reset.
If this reset happens to be a "preset" type
reset, they should always be active.
The easiest way to achieve that is to replace
all uses of "preset" resets with zero.

(cherry picked from commit c98ee338

)

Co-authored-by: Kevin Laeufer <laeufer@cs.berkeley.edu>