Proposing and solving olympiad geometry with guided tree search