[smt] treat stop with non-zero ret like an assertion (#2338)

We treat it as an assertion that the stop will
never be enabled. stop(0) will still be ignored
(but now demoted to a info from a warning).