[Seq-Test] Make Fulminate usage consistent with new API

[ZippeyKeys12]

It uses lower-level functions than cn test (doesn't use assume_* functions).

This makes the Fulminate dependency a bit messier.