We need a command line tool that runs QuickCheck properties of a compiled Frege module.

The tool would inspect the symbol table of a module (much like the Doc tool does) to find out the names of the properties. For each name, the property would be checked by simulating execution of that property. This may involve a bit of java reflection hackery.