Minor enhancments.

* Make equivalence checking cases obey global memory limit of 16 GB
* Do not apply suminst to LPSs for equivalence checking
* For now only run strong-bismulation cases for equivalence checking.
  Instantiation consistently fails for the ABP/SWP cases for the other equivalences