Check for existence of goal/lemma in split_theory

Split_theory returns the empty list unless the theory contains a goal or lemma. But it does a lot of work regardless, so we check for this condition explicitly before doing this work.

For #831 (closed)