[Minor] Change split threshold for Proof General