Better solution for testing

I think this is where the check is not checked and violated for you, and is for me.
if you look at the code fo time_from_nonce, you have a few check assertions at the end ...
and this is obviously wrong , especially with bad value.