change ToySolver.Arith.OmegaTest to export misc functions, and move core implementation into ToySolver.Arith.OmegaTest.Core
test a property of zmod function in OmegaTest