Canonconsistent and canonstable tests updated to new framework.
Update tests: cistrans, graphsym, implicitH, lssr