Program creates and verifies given pairs according to the stable marriage problem using the Gale/Shapely algorithm.