Display initial seed in property-check failures ...

[Baccata]

... (as opposed to "current" seed, which doesn't quite work when parallelism is involved due to non-determinism)

Also change the config to take a "Seed" as opposed to a long.