SubModST: A Fast Generic Solver for Submodular~Maximization with Size Constraints