Assertion for counter

In reply to ben@SystemVerilog.us:

I updated the testbench in my previous reply.
Ben