--seed

* Makefile (quickcheck): Rename from "foo".  Praise be.
* deps/pflua: Update.
* pflua-quickcheck: Seed passed via --seed.