MapLinearizabilityTest now uses SimpleRelaxed map by default