Restored CanonicalSpec, which tests the validity of canonicalization of random transformations of Bell expressions.