WYRL: ok, that seems to have made a very slight tweak to the way it the minimised / compacted invariants are maintained.  This should now fix #274 for good.
WYRL: well, that is working better now, but test_arith_11 is hitting an infinite loop of some sort. #274