verification: switch order of assert/assume and printf (#2484) (#2493)

This is a quick fix for issue #2408

(cherry picked from commit d4ef9a96

)

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