Polynomial root isolation with FLINT