testing montgomery multiplication