introduce a `*keep-passing-asserts*` flag to toggle keeping details