better random number handling

Require caller to explicitly pass random number generator to all wfl operations that use it, to help make scripts more reproducible and reduce possibility of interrupted script rerun failing to recognize existing queued jobs because random seed has changed.

Note: breaks backward compatibility because many operations now require passing a random number generator explicitly. See new
top level README.md.