probabilistic test of isomorphism between modules