Updating makefile to use variable for ghc options.
Adding locks, improved: thresholding, generator, shrinker.

Adding locks as a primitive.

Adding the desperately needed improved thresholding determination
to cut out the false-positives.

The improved generator lets me eliminate cases that we know fail,
like too many ||| operators, and recursive locking.