multiple optimizations in F* integration into rake: - eliminated unnecessary dependency search (caused intermittent slowness). - `fstar:verify` task now accepts a globbing pattern to verify a subset of modules.
multiple optimizations in F* integration into rake:
- eliminated unnecessary dependency search (caused intermittent slowness).
- `fstar:verify` task now accepts a globbing pattern to verify a subset of modules.

fmrl/flutterbye,fmrl/bdbdbdbd,fmrl/flutterbye,fmrl/tesseract,fmrl/monarch