[dv_macros] Kill live assertions when disabling in `DV_ASSERT_CTRL`
[dv_macros] Kill live assertions when disabling in `DV_ASSERT_CTRL`

`DV_ASSERT_CTRL` currently disables assertions but does not kill
assertion instances that are already live, i.e., for which the
preconditions have been met but the sequence has not terminated yet.
Thus, when assertions are later re-enabled, assertions that survived
between disabling and re-enabling can still fail.

This commit extends `DV_ASSERT_CTRL` to kill assertions when disabling
them.

Signed-off-by: Andreas Kurth <62c4a7f75976b7a2fb8d79afddaccc3e9236aad5@lowrisc.org>

lowRISC/opentitan,lowRISC/opentitan,lowRISC/opentitan,lowRISC/opentitan,lowRISC/opentitan,lowRISC/opentitan