WyRL: Abandoned SaturationWriter for IterativeRewriter.
The inherent problem with SaturationWriter is that it doesn't reduce
after an inference.  This basically causes lots of problems, not least
the fact that some inference rules won't fire.  In place, I'm exploring
an IterativeRewriter which combines the original StrategyRewriter with
the improvements made whilst developing SaturationRewriter.
WyRL: bug fix for IterativeRewriter.
Previously, the IterativeRewriter as not maintaining separate
oneStepUndo information for both the inference loop and the reduction
loop; this cross over of information was causing corruption of the data.
BUILD: Updated to jasm-v0.1.15.
This version contains a useful bug fix which was causing some whiley
files to fail bytecode verification.