Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS