[otbn,dv] Fix timing of IdleIfLockedAndNotRotatingKeys_A assertion
[otbn,dv] Fix timing of IdleIfLockedAndNotRotatingKeys_A assertion

The idle signal changes a cycle after the status input because of an
internal flop in the prim_mubi4_sender instance. Use a non-overlapped
implication to model this delay.

Signed-off-by: Rupert Swarbrick <290093e2ad2515ed2f14d749293c8cf8e02ca274@lowrisc.org>

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