Text this: Weak form shallow ice approximation models with an improved time-step restriction