Adding test harness for congruence library.
Adding test suite