Fixed test imports. spire.algebra -> spire.laws