Update supercompiler based on latest thinking about correctness (i.e. disable reduce-before-match, skip irred states in memo)