assert op that can assert specific content on specific tick

[zzlk]

          Would be nice to get something like this for the assert op

Originally posted by @MingweiSamuel in https://github.com/hydro-project/hydroflow/pull/861#discussion_r1279765203