Assertion to check req holds until ack

[lisa97]

In reply to ben@SystemVerilog.us:

I used the same clock