Robust rewrites

Stream: lean-gptf

[Jesse Michael Han]

Thanks to @Edward Ayers, we now automatically postprocess every rw [...] predicted by the model, using only the largest prefix of the provided rw rules that succeed. We have often noticed that the model will predict very long chains of rewrites and often the first few will succeed, so this should improve its success rate.