Add option to run_quantifiers to check runs have completed. Fixes #4.
Remove option no longer used by this script.
Rename run_quantifiers -> quantify (sometimes, it doesn't run quantifiers).